Matches in SemOpenAlex for { <https://semopenalex.org/work/W64425101> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W64425101 abstract "GCLA is a new programming language, which increases expressiveness compared with traditional logic programming languages and functional programming languages. The basis for the language is a generalization of the concept inductive definitions, called partial inductive definitions. The program defines a logic, which is used to make inferences to prove if a query holds or not. This report first presents a short introduction to these ideas. Then, an abstract machine, called GAM, for GCLA is presented; the instructions as well as an introduction to the compiling schema is given together with some examples. The main idea is to extend the Warren Abstract Machine (WAM), which is an abstract machine for the language Prolog." @default.
- W64425101 created "2016-06-24" @default.
- W64425101 creator A5010791570 @default.
- W64425101 date "1989-01-01" @default.
- W64425101 modified "2023-09-23" @default.
- W64425101 title "GAM: An abstract machine for GCLA" @default.
- W64425101 hasPublicationYear "1989" @default.
- W64425101 type Work @default.
- W64425101 sameAs 64425101 @default.
- W64425101 citedByCount "0" @default.
- W64425101 crossrefType "journal-article" @default.
- W64425101 hasAuthorship W64425101A5010791570 @default.
- W64425101 hasConcept C119857082 @default.
- W64425101 hasConcept C128838566 @default.
- W64425101 hasConcept C195701839 @default.
- W64425101 hasConcept C199305712 @default.
- W64425101 hasConcept C199360897 @default.
- W64425101 hasConcept C34165917 @default.
- W64425101 hasConcept C41008148 @default.
- W64425101 hasConcept C50033165 @default.
- W64425101 hasConcept C52146309 @default.
- W64425101 hasConcept C81721847 @default.
- W64425101 hasConcept C96315309 @default.
- W64425101 hasConceptScore W64425101C119857082 @default.
- W64425101 hasConceptScore W64425101C128838566 @default.
- W64425101 hasConceptScore W64425101C195701839 @default.
- W64425101 hasConceptScore W64425101C199305712 @default.
- W64425101 hasConceptScore W64425101C199360897 @default.
- W64425101 hasConceptScore W64425101C34165917 @default.
- W64425101 hasConceptScore W64425101C41008148 @default.
- W64425101 hasConceptScore W64425101C50033165 @default.
- W64425101 hasConceptScore W64425101C52146309 @default.
- W64425101 hasConceptScore W64425101C81721847 @default.
- W64425101 hasConceptScore W64425101C96315309 @default.
- W64425101 hasLocation W644251011 @default.
- W64425101 hasOpenAccess W64425101 @default.
- W64425101 hasPrimaryLocation W644251011 @default.
- W64425101 hasRelatedWork W1517151294 @default.
- W64425101 hasRelatedWork W1536138441 @default.
- W64425101 hasRelatedWork W1602274351 @default.
- W64425101 hasRelatedWork W167813225 @default.
- W64425101 hasRelatedWork W1906040504 @default.
- W64425101 hasRelatedWork W1977405241 @default.
- W64425101 hasRelatedWork W1990928191 @default.
- W64425101 hasRelatedWork W1996272379 @default.
- W64425101 hasRelatedWork W2013028647 @default.
- W64425101 hasRelatedWork W2026549229 @default.
- W64425101 hasRelatedWork W2029010801 @default.
- W64425101 hasRelatedWork W2042830059 @default.
- W64425101 hasRelatedWork W2048417351 @default.
- W64425101 hasRelatedWork W2893650789 @default.
- W64425101 hasRelatedWork W2914540762 @default.
- W64425101 hasRelatedWork W3033613281 @default.
- W64425101 hasRelatedWork W3100729823 @default.
- W64425101 hasRelatedWork W348923616 @default.
- W64425101 hasRelatedWork W784082439 @default.
- W64425101 hasRelatedWork W217202474 @default.
- W64425101 isParatext "false" @default.
- W64425101 isRetracted "false" @default.
- W64425101 magId "64425101" @default.
- W64425101 workType "article" @default.