logic programming Flashcards
1
Q
logic programming
A
- focused on relations (rather than functions)
- treat arguments and results uniformly
- inference works both ways (no sense of direction)
2
Q
relations/predicates
A
• a Boolean test
