Matches in SemOpenAlex for { <https://semopenalex.org/work/W3023074691> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3023074691 endingPage "763" @default.
- W3023074691 startingPage "717" @default.
- W3023074691 abstract "Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) with equal ease. This paper has two goals: to give a tutorial of logic programming in Oz; and to show how logic programming fits naturally into the wider context of multiparadigm programming. Our experience shows that there are two classes of problems, which we call algorithmic and search problems, for which logic programming can help formulate practical solutions. Algorithmic problems have known efficient algorithms. Search problems do not have known efficient algorithms but can be solved with search. The Oz support for logic programming targets these two problem classes specifically, using the concepts needed for each. This is in contrast to the Prolog approach, which targets both classes with one set of concepts, which results in less than optimal support for each class. We give examples that can be run interactively on the Mozart system, which implements Oz, To explain the essential difference between algorithmic and search programs, we define the Oz execution model. This model subsumes both concurrent logic programming (committed-choice-style) and search-based logic programming (Prolog-style). Furthermore, as consequences of its multiparadigm nature, the model supports new abilities such as first-class top levels, deep guards, active objects, and sophisticated control of the search process. Instead of Horn clause syntax, Oz has a simple, fully compositional, higher-order syntax that accommodates the abilities of the language. We give a brief history of Oz that traces the development of its main ideas and we summarize the lessons learned from this work. Finally, we give many entry points into the Oz literature." @default.
- W3023074691 created "2020-05-13" @default.
- W3023074691 creator A5011834435 @default.
- W3023074691 creator A5021717408 @default.
- W3023074691 creator A5025238301 @default.
- W3023074691 creator A5040316614 @default.
- W3023074691 creator A5065218846 @default.
- W3023074691 creator A5090695078 @default.
- W3023074691 date "2003-01-01" @default.
- W3023074691 modified "2023-10-01" @default.
- W3023074691 title "Logic programming in the context of multiparadigm programming: the Oz experience" @default.
- W3023074691 hasPublicationYear "2003" @default.
- W3023074691 type Work @default.
- W3023074691 sameAs 3023074691 @default.
- W3023074691 citedByCount "0" @default.
- W3023074691 crossrefType "proceedings-article" @default.
- W3023074691 hasAuthorship W3023074691A5011834435 @default.
- W3023074691 hasAuthorship W3023074691A5021717408 @default.
- W3023074691 hasAuthorship W3023074691A5025238301 @default.
- W3023074691 hasAuthorship W3023074691A5040316614 @default.
- W3023074691 hasAuthorship W3023074691A5065218846 @default.
- W3023074691 hasAuthorship W3023074691A5090695078 @default.
- W3023074691 hasConcept C126255220 @default.
- W3023074691 hasConcept C128838566 @default.
- W3023074691 hasConcept C137631369 @default.
- W3023074691 hasConcept C146206909 @default.
- W3023074691 hasConcept C151730666 @default.
- W3023074691 hasConcept C154945302 @default.
- W3023074691 hasConcept C173404611 @default.
- W3023074691 hasConcept C189790780 @default.
- W3023074691 hasConcept C199305712 @default.
- W3023074691 hasConcept C199360897 @default.
- W3023074691 hasConcept C2776245389 @default.
- W3023074691 hasConcept C2779343474 @default.
- W3023074691 hasConcept C33923547 @default.
- W3023074691 hasConcept C34165917 @default.
- W3023074691 hasConcept C41008148 @default.
- W3023074691 hasConcept C44616089 @default.
- W3023074691 hasConcept C49937458 @default.
- W3023074691 hasConcept C50033165 @default.
- W3023074691 hasConcept C81721847 @default.
- W3023074691 hasConcept C86803240 @default.
- W3023074691 hasConcept C96315309 @default.
- W3023074691 hasConceptScore W3023074691C126255220 @default.
- W3023074691 hasConceptScore W3023074691C128838566 @default.
- W3023074691 hasConceptScore W3023074691C137631369 @default.
- W3023074691 hasConceptScore W3023074691C146206909 @default.
- W3023074691 hasConceptScore W3023074691C151730666 @default.
- W3023074691 hasConceptScore W3023074691C154945302 @default.
- W3023074691 hasConceptScore W3023074691C173404611 @default.
- W3023074691 hasConceptScore W3023074691C189790780 @default.
- W3023074691 hasConceptScore W3023074691C199305712 @default.
- W3023074691 hasConceptScore W3023074691C199360897 @default.
- W3023074691 hasConceptScore W3023074691C2776245389 @default.
- W3023074691 hasConceptScore W3023074691C2779343474 @default.
- W3023074691 hasConceptScore W3023074691C33923547 @default.
- W3023074691 hasConceptScore W3023074691C34165917 @default.
- W3023074691 hasConceptScore W3023074691C41008148 @default.
- W3023074691 hasConceptScore W3023074691C44616089 @default.
- W3023074691 hasConceptScore W3023074691C49937458 @default.
- W3023074691 hasConceptScore W3023074691C50033165 @default.
- W3023074691 hasConceptScore W3023074691C81721847 @default.
- W3023074691 hasConceptScore W3023074691C86803240 @default.
- W3023074691 hasConceptScore W3023074691C96315309 @default.
- W3023074691 hasLocation W30230746911 @default.
- W3023074691 hasOpenAccess W3023074691 @default.
- W3023074691 hasPrimaryLocation W30230746911 @default.
- W3023074691 hasRelatedWork W1491622273 @default.
- W3023074691 hasRelatedWork W1508831496 @default.
- W3023074691 hasRelatedWork W1511102551 @default.
- W3023074691 hasRelatedWork W1518369453 @default.
- W3023074691 hasRelatedWork W1540426605 @default.
- W3023074691 hasRelatedWork W1552797176 @default.
- W3023074691 hasRelatedWork W1560272480 @default.
- W3023074691 hasRelatedWork W1588992886 @default.
- W3023074691 hasRelatedWork W1880050370 @default.
- W3023074691 hasRelatedWork W190521545 @default.
- W3023074691 hasRelatedWork W1996473305 @default.
- W3023074691 hasRelatedWork W2012351765 @default.
- W3023074691 hasRelatedWork W2043939481 @default.
- W3023074691 hasRelatedWork W2072424345 @default.
- W3023074691 hasRelatedWork W2808836817 @default.
- W3023074691 hasRelatedWork W2900049970 @default.
- W3023074691 hasRelatedWork W2982276314 @default.
- W3023074691 hasRelatedWork W3044510218 @default.
- W3023074691 hasRelatedWork W3101949891 @default.
- W3023074691 hasRelatedWork W87632350 @default.
- W3023074691 hasVolume "3" @default.
- W3023074691 isParatext "false" @default.
- W3023074691 isRetracted "false" @default.
- W3023074691 magId "3023074691" @default.
- W3023074691 workType "article" @default.