Graphical interface for logic programming

Authors:
Angelo Monfroglio
Affiliations:
-
Venue:
ACM SIGART Bulletin
Year:
1987

Citing 11
Cited 0

Micro-PROLOG: programming in logic

Micro-PROLOG: programming in logic
The complexity of some polynomial network consistency algorithms for constraint satisfaction problems

Artificial Intelligence
Ordering conjunctive queries

Artificial Intelligence
The architecture of fifth generation inference computers

Future Generation Computer Systems
Arc and path consistence revisited

Artificial Intelligence
Perceptual organization and the representation of natural form

Artificial Intelligence
The connection machine

The connection machine
Logic for problem-solving

Logic for problem-solving
Artificial intelligence

Artificial intelligence
Constraint satisfaction and parallel logic programming

Rivista di Informatica
Systems programming in concurrent prolog

POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

Much of the power of PROLOG language and logic programming is due to the unification process between variables and the matching between patterns. Moreover reasoning and theorem proving is easily achievable through the logic and the backtracking mechanism of the language.