A LISP implementation of logic programming

dc.contributor.advisorAnderson, Robert B.
dc.contributor.committeeMemberHuang, Kou-Yuan
dc.contributor.committeeMemberFajtlowicz, Siemion B.
dc.creatorTong, Wa-Ming
dc.date.accessioned2023-11-27T17:11:50Z
dc.date.available2023-11-27T17:11:50Z
dc.date.issued1985
dc.description.abstractLog-Lisp, as well as Prolog, is a deductive programming language based on the LUSH resolution of Horn clauses. Log-Lisp is an attempt to create within Lisp an implementation of Kowalski's original logic programming idea without such non-logical additions as the cut symbol. Log-Lisp does not require a preferred ordering of assertions nor of the atomic sentences within assertions. The logic programmer need not depend on the system builder to build in all primitive functions and predicates; he/she is allowed to write his/her own functions in Lisp which are invoked from Logic. The use of breadth-first search in Log-Lisp (as the default), as oppossed to the depth-first search of Prolog, eliminates the possibility of infinite search during the attempted proof of a theorem and allows for the possible extension of Log-Lisp to use heuristic search and multi-processing.
dc.description.departmentComputer Science, Department of
dc.format.digitalOriginreformatted digital
dc.format.mimetypeapplication/pdf
dc.identifier.other13576749
dc.identifier.urihttps://hdl.handle.net/10657/15478
dc.language.isoen
dc.rightsThis item is protected by copyright but is made available here under a claim of fair use (17 U.S.C. Section 107) for non-profit research and educational purposes. Users of this work assume the responsibility for determining copyright status prior to reusing, publishing, or reproducing this item for purposes other than what is allowed by fair use or other copyright exemptions. Any reuse of this item in excess of fair use or other copyright exemptions requires express permission of the copyright holder.
dc.subjectLISP (Computer program language)
dc.titleA LISP implementation of logic programming
dc.type.dcmiText
dc.type.genreThesis
thesis.degree.collegeCollege of Natural Sciences and Mathematics
thesis.degree.departmentComputer Science, Department of
thesis.degree.disciplineComputer Science
thesis.degree.grantorUniversity of Houston
thesis.degree.levelMasters
thesis.degree.nameMaster of Science

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Tong_1985_13576749.pdf
Size:
3.4 MB
Format:
Adobe Portable Document Format