Noun
Programming with a paradigm that bases on formal logic
Usage- Uncountable
- Related words
- Broader terms
- Narrower terms
- abductive logic programmingconstraint logic programmingfunctional logic programminginductive logic programming
Noun
a computer language designed in Europe to support natural language processing
- Synonyms
- Broader terms
creating a program that enables the computer to reason logically
- Synonyms