Matches in SemOpenAlex for { <https://semopenalex.org/work/W14805306> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W14805306 endingPage "95" @default.
- W14805306 startingPage "93" @default.
- W14805306 abstract "An overview of a logic program interpreter written in Lisp is presented. The interpreter is a Horn clause-based theorem prover augmented by Lisp functions attached to some predicate names. Its application to natural language processing is discussed. The theory of operation is explained, including the high level organization of the PROVE function and an efficient version of unification. The paper concludes with comments on the overall efficiency of the interpreter." @default.
- W14805306 created "2016-06-24" @default.
- W14805306 creator A5071145410 @default.
- W14805306 date "1980-08-18" @default.
- W14805306 modified "2023-09-24" @default.
- W14805306 title "HCPRVR: an interpreter for logic programs" @default.
- W14805306 cites W2011306767 @default.
- W14805306 cites W2112962394 @default.
- W14805306 hasPublicationYear "1980" @default.
- W14805306 type Work @default.
- W14805306 sameAs 14805306 @default.
- W14805306 citedByCount "12" @default.
- W14805306 crossrefType "proceedings-article" @default.
- W14805306 hasAuthorship W14805306A5071145410 @default.
- W14805306 hasConcept C122783720 @default.
- W14805306 hasConcept C189790780 @default.
- W14805306 hasConcept C190883126 @default.
- W14805306 hasConcept C199360897 @default.
- W14805306 hasConcept C206880738 @default.
- W14805306 hasConcept C41008148 @default.
- W14805306 hasConcept C81721847 @default.
- W14805306 hasConcept C96146094 @default.
- W14805306 hasConceptScore W14805306C122783720 @default.
- W14805306 hasConceptScore W14805306C189790780 @default.
- W14805306 hasConceptScore W14805306C190883126 @default.
- W14805306 hasConceptScore W14805306C199360897 @default.
- W14805306 hasConceptScore W14805306C206880738 @default.
- W14805306 hasConceptScore W14805306C41008148 @default.
- W14805306 hasConceptScore W14805306C81721847 @default.
- W14805306 hasConceptScore W14805306C96146094 @default.
- W14805306 hasLocation W148053061 @default.
- W14805306 hasOpenAccess W14805306 @default.
- W14805306 hasPrimaryLocation W148053061 @default.
- W14805306 hasRelatedWork W1578088218 @default.
- W14805306 hasRelatedWork W1595440401 @default.
- W14805306 hasRelatedWork W182685254 @default.
- W14805306 hasRelatedWork W2028766178 @default.
- W14805306 hasRelatedWork W2036251296 @default.
- W14805306 hasRelatedWork W2070620189 @default.
- W14805306 hasRelatedWork W2119140975 @default.
- W14805306 hasRelatedWork W2133659836 @default.
- W14805306 hasRelatedWork W2169516259 @default.
- W14805306 hasRelatedWork W2263269657 @default.
- W14805306 hasRelatedWork W2296388658 @default.
- W14805306 hasRelatedWork W2307785417 @default.
- W14805306 hasRelatedWork W2308731473 @default.
- W14805306 hasRelatedWork W2478759912 @default.
- W14805306 hasRelatedWork W2579729558 @default.
- W14805306 hasRelatedWork W26825469 @default.
- W14805306 hasRelatedWork W2753825086 @default.
- W14805306 hasRelatedWork W2997019115 @default.
- W14805306 hasRelatedWork W3145934363 @default.
- W14805306 hasRelatedWork W2869541879 @default.
- W14805306 isParatext "false" @default.
- W14805306 isRetracted "false" @default.
- W14805306 magId "14805306" @default.
- W14805306 workType "article" @default.