Mar 14, 2025  
2024-2025 Graduate Catalog 
    
Catalog Navigation
Catalog Home
About K-State
University Leadership
Kansas Board of Regents
University Department Heads & Administrators
Campuses
Statements and Disclosures
Governance and Faculty
Academic Calendars
All-University Regulations
Academic Policies and Procedures
Graduate School Handbook
College of Veterinary Medicine: Student/Faculty Handbook
Tuition and Fees
Student Financial Assistance
Glossary and Abbreviations
K-State Course Search
Course Description Key
Courses
Colleges & Departments
Accelerated Degree Programs
Degrees & Certificates Offered
Online Programs
Archived K-State Catalogs
K-State Research and Extension
Research Facilities and Centers
International Programs
Services for Students
Support Services
Graduate School Admissions
KSIS
Auxiliary Services and Facilities
K-State Athletics
K-State Libraries
WebMail
GR Cover 2024-2025
My Portfolio
2024-2025 Graduate Catalog Add to Portfolio (opens a new window)

CIS 810 - Logic Programming

Credits: 3

Selected topics; constraint logic programming, deductive databases, concurrent logic programming, object-oriented logic programming, mathematical theory of logic programming specification and transformation of logic programs.

Requisites:
Prerequisite: Knowledge of Prolog.


KSIS Course Search



Add to Portfolio (opens a new window)