Wright State University
CS 774 — Logic Programming
7 documents • ranked by quality and engagement.
No description provided
Grammars of Definite Clauses
20 pages0 views0 dl
Open Document
Programming (Meta)
20 pages0 views0 dl
Open Document
Paradigms of Programming
20 pages0 views0 dl
Open Document
Unification and Syntax in Prolog
16 pages0 views0 dl
Open Document
Logic Programming with Constraints
20 pages0 views0 dl
Open Document
Logic Programming (Inductive)
20 pages0 views0 dl
Open Document
Cuts Backtracking Control
19 pages0 views0 dl
Open Document