Statements (67)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:language
|
| gptkbp:application |
gptkb:robot
database systems game development knowledge representation natural language processing bioinformatics theorem proving constraint logic programming expert systems |
| gptkbp:designed_by |
gptkb:Alain_Colmerauer
|
| gptkbp:features |
backtracking
unification |
| gptkbp:first_appearance |
gptkb:1972
|
| gptkbp:format |
.pl
|
| https://www.w3.org/2000/01/rdf-schema#label |
Prolog
|
| gptkbp:influenced_by |
predicate logic
|
| gptkbp:key |
gptkb:search_algorithms
gptkb:tabletop_role-playing_game gptkb:Author variables debugging tools exception handling operators prototyping graph traversal backtracking search constraint satisfaction problems development environments terms queries clauses input/output operations lists assertion tail recursion semantic networks facts non-determinism knowledge bases predicates rule-based systems meta-programming object-oriented programming support production rules cut operator dynamic predicates foreign language interface negation as failure assert and retract integrated development environments (ID Es) cut and commit goal-directed execution higher-order predicates retraction |
| gptkbp:philosophy |
logic programming
|
| gptkbp:supports |
recursion
|
| gptkbp:technique |
gptkb:GNU_Prolog
gptkb:SWI-Prolog gptkb:Visual_Prolog EC Li P Se Prolog SIC Stus Prolog |
| gptkbp:type |
declarative programming language
|
| gptkbp:used_in |
gptkb:Artificial_Intelligence
|
| gptkbp:bfsParent |
gptkb:Database_Management_System
gptkb:API |
| gptkbp:bfsLayer |
3
|