TY  - RPRT
A1  - Readi-Nasser, Rodrigo
T1  - An Intuitionistic Approach to Logic Programming
N2  - A natural extension of SLD-resolution is introduced as a goal directed proof procedure
for the full first order implicational fragment of intuitionistic logic. Its intuitionistic semantic fits a procedural interpretation of logic programming. By allowing arbitrary nested implications it can be used for implementing modularity in logic programs. With adequate negation axioms it gives an alternative to negation as failure and leads to a proof procedure for full first order predicate logic.
T3  - Interner Bericht des Fachbereich Informatik - 296 
Y1  - 1998
UR  - https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4998
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:386-kluedo-49983
ER  -