Suchergebnisse - "constraint logic programming systems"

CHR++: An efficient CHR system in C++ with don’t know non-determinism

Autoren: Barichard, Vincent BARICHARD, Vincent

Weitere Verfasser: Barichard, Vincent BARICHARD, Vincent

Quelle: Expert Systems with Applications. 238:121810

Schlagwörter: Constraint processing, Constraint handling rules, Domain specific languages, [INFO] Computer Science [cs], Constraint handling rules with disjunction, C++, Constraint logic programming systems

Attributed Variables in XSB

Autoren: David S. Warren Baoqiu Cui

Quelle: Electronic Notes in Theoretical Computer Science. 30:67-80

Schlagwörter: Constraint Logic Programming Systems, 0202 electrical engineering, electronic engineering, information engineering, Tabling, 0102 computer and information sciences, 02 engineering and technology, XSB, 01 natural sciences, Attributed Variables, Theoretical Computer Science, Computer Science(all)

Zugangs-URL: https://www.sciencedirect.com/science/article/abs/pii/S1571066105801094
https://dblp.uni-trier.de/db/journals/tcs/entcs30.html#CuiW99
https://www.sciencedirect.com/science/article/pii/S1571066105801094

Negation and Constraint Logic Programming: Negation and constraint logic programming

Autoren: Peter J. Stuckey

Quelle: Information and Computation. 118:12-33

Schlagwörter: Computational Theory and Mathematics, constraint logic programming systems, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, constructive negation, Theoretical Computer Science, Information Systems, Computer Science Applications

Dateibeschreibung: application/xml

Zugangs-URL: https://www.sciencedirect.com/science/article/abs/pii/S0890540185710486
https://dblp.uni-trier.de/db/journals/iandc/iandc118.html#Stuckey95
https://www.sciencedirect.com/science/article/pii/S0890540185710486
https://core.ac.uk/display/22613748
https://research.monash.edu/en/publications/negation-and-constraint-logic-programming