Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570872992> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1570872992 abstract "We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on Ciao's module system and code transformation capabilities in order to achieve a highly modular design without compromising performance. We describe the interface, implementation, and design rationale of each modular component. The library meets several design goals: a high level of modularity, allowing the individual components to be replaced by different versions; high-efficiency, being competitive with other FD implementations; a glass-box approach, so the user can specify new constraints at different levels; and a Prolog implementation, in order to ease the integration with Ciao's code analysis components. The core is built upon two small libraries which implement integer ranges and closures. On top of that, a finite domain variable datatype is defined, taking care of constraint reexecution depending on range changes. These three libraries form what we call the FD kernel of the library. This FD kernel is used in turn to implement several higher-level finite domain constraints, specified using indexicals. Together with a labeling module this layer forms what we name emph{the FD solver}. A final level integrates the clp(FD) paradigm with our FD solver. This is achieved using attributed variables and a compiler from the clp(FD) language to the set of constraints provided by the solver. It should be noted that the user of the library is encouraged to work in any of those levels as seen convenient: from writing a new range module to enriching the set of FD constraints by writing new indexicals." @default.
- W1570872992 created "2016-06-24" @default.
- W1570872992 creator A5008145265 @default.
- W1570872992 creator A5055058246 @default.
- W1570872992 creator A5073531919 @default.
- W1570872992 creator A5080546017 @default.
- W1570872992 date "2013-01-31" @default.
- W1570872992 modified "2023-10-16" @default.
- W1570872992 title "The Ciao clp(FD) Library. A Modular CLP Extension for Prolog" @default.
- W1570872992 cites W1982482731 @default.
- W1570872992 cites W2067273780 @default.
- W1570872992 cites W2120214906 @default.
- W1570872992 cites W2142044962 @default.
- W1570872992 cites W2160964171 @default.
- W1570872992 cites W65937437 @default.
- W1570872992 hasPublicationYear "2013" @default.
- W1570872992 type Work @default.
- W1570872992 sameAs 1570872992 @default.
- W1570872992 citedByCount "0" @default.
- W1570872992 crossrefType "posted-content" @default.
- W1570872992 hasAuthorship W1570872992A5008145265 @default.
- W1570872992 hasAuthorship W1570872992A5055058246 @default.
- W1570872992 hasAuthorship W1570872992A5073531919 @default.
- W1570872992 hasAuthorship W1570872992A5080546017 @default.
- W1570872992 hasConcept C101468663 @default.
- W1570872992 hasConcept C113843644 @default.
- W1570872992 hasConcept C126255220 @default.
- W1570872992 hasConcept C129307140 @default.
- W1570872992 hasConcept C134306372 @default.
- W1570872992 hasConcept C137631369 @default.
- W1570872992 hasConcept C154945302 @default.
- W1570872992 hasConcept C157915830 @default.
- W1570872992 hasConcept C169590947 @default.
- W1570872992 hasConcept C173404611 @default.
- W1570872992 hasConcept C173608175 @default.
- W1570872992 hasConcept C177264268 @default.
- W1570872992 hasConcept C199360897 @default.
- W1570872992 hasConcept C199622910 @default.
- W1570872992 hasConcept C2778770139 @default.
- W1570872992 hasConcept C33923547 @default.
- W1570872992 hasConcept C36503486 @default.
- W1570872992 hasConcept C41008148 @default.
- W1570872992 hasConcept C49937458 @default.
- W1570872992 hasConcept C80444323 @default.
- W1570872992 hasConcept C81721847 @default.
- W1570872992 hasConceptScore W1570872992C101468663 @default.
- W1570872992 hasConceptScore W1570872992C113843644 @default.
- W1570872992 hasConceptScore W1570872992C126255220 @default.
- W1570872992 hasConceptScore W1570872992C129307140 @default.
- W1570872992 hasConceptScore W1570872992C134306372 @default.
- W1570872992 hasConceptScore W1570872992C137631369 @default.
- W1570872992 hasConceptScore W1570872992C154945302 @default.
- W1570872992 hasConceptScore W1570872992C157915830 @default.
- W1570872992 hasConceptScore W1570872992C169590947 @default.
- W1570872992 hasConceptScore W1570872992C173404611 @default.
- W1570872992 hasConceptScore W1570872992C173608175 @default.
- W1570872992 hasConceptScore W1570872992C177264268 @default.
- W1570872992 hasConceptScore W1570872992C199360897 @default.
- W1570872992 hasConceptScore W1570872992C199622910 @default.
- W1570872992 hasConceptScore W1570872992C2778770139 @default.
- W1570872992 hasConceptScore W1570872992C33923547 @default.
- W1570872992 hasConceptScore W1570872992C36503486 @default.
- W1570872992 hasConceptScore W1570872992C41008148 @default.
- W1570872992 hasConceptScore W1570872992C49937458 @default.
- W1570872992 hasConceptScore W1570872992C80444323 @default.
- W1570872992 hasConceptScore W1570872992C81721847 @default.
- W1570872992 hasLocation W15708729921 @default.
- W1570872992 hasOpenAccess W1570872992 @default.
- W1570872992 hasPrimaryLocation W15708729921 @default.
- W1570872992 hasRelatedWork W1558707871 @default.
- W1570872992 hasRelatedWork W1565021917 @default.
- W1570872992 hasRelatedWork W2038774992 @default.
- W1570872992 hasRelatedWork W2044737931 @default.
- W1570872992 hasRelatedWork W2058778936 @default.
- W1570872992 hasRelatedWork W2063765018 @default.
- W1570872992 hasRelatedWork W2093876877 @default.
- W1570872992 hasRelatedWork W2150905411 @default.
- W1570872992 hasRelatedWork W2158944624 @default.
- W1570872992 hasRelatedWork W2163762352 @default.
- W1570872992 hasRelatedWork W2166279570 @default.
- W1570872992 hasRelatedWork W2203843026 @default.
- W1570872992 hasRelatedWork W2403131032 @default.
- W1570872992 hasRelatedWork W2467515857 @default.
- W1570872992 hasRelatedWork W2564687925 @default.
- W1570872992 hasRelatedWork W2913097494 @default.
- W1570872992 hasRelatedWork W3111166691 @default.
- W1570872992 hasRelatedWork W3203610579 @default.
- W1570872992 hasRelatedWork W794730125 @default.
- W1570872992 hasRelatedWork W1889612619 @default.
- W1570872992 isParatext "false" @default.
- W1570872992 isRetracted "false" @default.
- W1570872992 magId "1570872992" @default.
- W1570872992 workType "article" @default.