Matches in SemOpenAlex for { <https://semopenalex.org/work/W1498390386> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1498390386 endingPage "288" @default.
- W1498390386 startingPage "274" @default.
- W1498390386 abstract "At the current state of the art, people are not encouraged to use logic programming languages for bulding large and complex software systems due to the difficulty of expressing concepts such as modularity, information hiding, data and process abstraction etc. In particular, it is impossible to build a system as a collection of different modules, independently designed and coded, with a lifetime extended till execution time. This work is based on the fact that Prolog, the most used logical language, already has sufficient intrinsic power to express concepts of that kind. Initially, a new mechanism is added to Prolog: the possibility to split a base of clauses into a set of different units. Subsequently, the distinction between object-level and meta-level units is introduced in order to express interactions between units. Finally, the possibility of specifying parallel flows of control within the same computation, is presented. The main thesis of the work is that complex software systems can easily be built by fitting together a set of invariant Prolog units through a meta-level specification. Predicates can be viewed as communication channels statically or dynamically connected by meta programs. Such a methodology, which is suggested in quite a natural way by the declarative style of Prolog, could be fundamental also when units are written ‘in-the-small’ using other styles of languages." @default.
- W1498390386 created "2016-06-24" @default.
- W1498390386 creator A5032517687 @default.
- W1498390386 creator A5040978920 @default.
- W1498390386 date "1986-01-01" @default.
- W1498390386 modified "2023-10-18" @default.
- W1498390386 title "Programs as collections of communicating Prolog units" @default.
- W1498390386 cites W1575433719 @default.
- W1498390386 cites W1766332311 @default.
- W1498390386 cites W1981635406 @default.
- W1498390386 cites W2023542619 @default.
- W1498390386 cites W2054473176 @default.
- W1498390386 cites W2105435765 @default.
- W1498390386 cites W2131791649 @default.
- W1498390386 cites W2503626902 @default.
- W1498390386 doi "https://doi.org/10.1007/3-540-16442-1_21" @default.
- W1498390386 hasPublicationYear "1986" @default.
- W1498390386 type Work @default.
- W1498390386 sameAs 1498390386 @default.
- W1498390386 citedByCount "11" @default.
- W1498390386 crossrefType "book-chapter" @default.
- W1498390386 hasAuthorship W1498390386A5032517687 @default.
- W1498390386 hasAuthorship W1498390386A5040978920 @default.
- W1498390386 hasBestOaLocation W14983903861 @default.
- W1498390386 hasConcept C111472728 @default.
- W1498390386 hasConcept C124304363 @default.
- W1498390386 hasConcept C128838566 @default.
- W1498390386 hasConcept C138885662 @default.
- W1498390386 hasConcept C146206909 @default.
- W1498390386 hasConcept C177264268 @default.
- W1498390386 hasConcept C199360897 @default.
- W1498390386 hasConcept C34165917 @default.
- W1498390386 hasConcept C41008148 @default.
- W1498390386 hasConcept C50033165 @default.
- W1498390386 hasConcept C80444323 @default.
- W1498390386 hasConcept C81721847 @default.
- W1498390386 hasConceptScore W1498390386C111472728 @default.
- W1498390386 hasConceptScore W1498390386C124304363 @default.
- W1498390386 hasConceptScore W1498390386C128838566 @default.
- W1498390386 hasConceptScore W1498390386C138885662 @default.
- W1498390386 hasConceptScore W1498390386C146206909 @default.
- W1498390386 hasConceptScore W1498390386C177264268 @default.
- W1498390386 hasConceptScore W1498390386C199360897 @default.
- W1498390386 hasConceptScore W1498390386C34165917 @default.
- W1498390386 hasConceptScore W1498390386C41008148 @default.
- W1498390386 hasConceptScore W1498390386C50033165 @default.
- W1498390386 hasConceptScore W1498390386C80444323 @default.
- W1498390386 hasConceptScore W1498390386C81721847 @default.
- W1498390386 hasLocation W14983903861 @default.
- W1498390386 hasOpenAccess W1498390386 @default.
- W1498390386 hasPrimaryLocation W14983903861 @default.
- W1498390386 hasRelatedWork W1502160769 @default.
- W1498390386 hasRelatedWork W1548535723 @default.
- W1498390386 hasRelatedWork W1589124319 @default.
- W1498390386 hasRelatedWork W1849174213 @default.
- W1498390386 hasRelatedWork W1997774456 @default.
- W1498390386 hasRelatedWork W2348463574 @default.
- W1498390386 hasRelatedWork W2951004607 @default.
- W1498390386 hasRelatedWork W3009891130 @default.
- W1498390386 hasRelatedWork W3018143143 @default.
- W1498390386 hasRelatedWork W4287829362 @default.
- W1498390386 isParatext "false" @default.
- W1498390386 isRetracted "false" @default.
- W1498390386 magId "1498390386" @default.
- W1498390386 workType "book-chapter" @default.