Add to ORKG[Felty, JAR'93] Amy Felty. Implementing tactics and tacticals in a higher-order logic programming language. Journal of Automated Reasoning, 11(1):43{81
Language Since logic programming systems directly implement search and unification and since these o...
Adhering to the principles of logic programming results in greater expressiveness than is obtained b...
The expressiveness of logic programs can be greatly increased over first-order Horn clauses through ...
We argue that a logic programming language with a higher-order intuitionistic logic as its foundatio...
Prolog was invented in the early seventies at the University of Marseille. Prolog stands for PROgram...
PROLOG is a programming language based on the use of mathematical logic—specifically the first order...
AbstractComputational Linguistics and Logic Programming have strong connections, but the former uses...
This paper presents two views of stepwise enhancement, one a pragmatic syntax-based approach and the...
The logic programming language PROLOG is introduced, with an overview of applications around the wor...
The logic programming language framework Kernel Andorra Prolog is defined by a formal computation mo...
Interpretation: Towards the Global Optimisation of PROLOG Programs", Proceedings 4 th IEEE Sy...
Abstract Both logic programming in general and Prolog in particular have a long and fascinating hist...
Both logic programming in general and Prolog in particular have a long and fascinating history, inte...
Contains fulltext : 84486.pdf (publisher's version ) (Closed access)23 p
An Overview of Lambda-Prolog λ-Prolog is a logic programming language that extends Prolog by incorpo...
Language Since logic programming systems directly implement search and unification and since these o...
Adhering to the principles of logic programming results in greater expressiveness than is obtained b...
The expressiveness of logic programs can be greatly increased over first-order Horn clauses through ...
We argue that a logic programming language with a higher-order intuitionistic logic as its foundatio...
Prolog was invented in the early seventies at the University of Marseille. Prolog stands for PROgram...
PROLOG is a programming language based on the use of mathematical logic—specifically the first order...
AbstractComputational Linguistics and Logic Programming have strong connections, but the former uses...
This paper presents two views of stepwise enhancement, one a pragmatic syntax-based approach and the...
The logic programming language PROLOG is introduced, with an overview of applications around the wor...
The logic programming language framework Kernel Andorra Prolog is defined by a formal computation mo...
Interpretation: Towards the Global Optimisation of PROLOG Programs", Proceedings 4 th IEEE Sy...
Abstract Both logic programming in general and Prolog in particular have a long and fascinating hist...
Both logic programming in general and Prolog in particular have a long and fascinating history, inte...
Contains fulltext : 84486.pdf (publisher's version ) (Closed access)23 p
An Overview of Lambda-Prolog λ-Prolog is a logic programming language that extends Prolog by incorpo...
Language Since logic programming systems directly implement search and unification and since these o...
Adhering to the principles of logic programming results in greater expressiveness than is obtained b...
The expressiveness of logic programs can be greatly increased over first-order Horn clauses through ...