Concepedia

N-Prolog: An extension of Prolog with hypothetical implications. I.

Michael Gabbay, Uwe Reyle

The Journal of Logic Programming · 1984 · 170 citations · 2 references

DOI

Concepts

References

2

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

, , +4

Logic for problem solving

Robert Kowalski, Steve Smoliar · ACM SIGSOFT Software Engineering Notes · 1982 · 1.2K citations

, , +7