No label defined (Q3742689)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1986
0 references
problem solving
0 references
automatic deduction
0 references
logic programming
0 references
Prolog programming
0 references
logical deduction
0 references
database
0 references
recursive programming
0 references
semantics
0 references
correctness
0 references
complexity
0 references
search trees
0 references
negation
0 references
non-deterministic programming
0 references
incomplete data structures
0 references
parsing
0 references
definite clause grammars
0 references
second-order programming
0 references
search techniques
0 references
meta-interpreters
0 references
expert systems
0 references
debugging
0 references
game-playing programs
0 references
equation solver
0 references
Edinburg Prolog
0 references
Wisdom Prolog
0 references
