language:
Find link is a tool written by Edward Betts.searching for SWI-Prolog 15 found (36 total)
alternate case: sWI-Prolog
Prolog32
(310 words)
[view diff]
exact match in snippet
view article
find links to article
semi-automatic tool for teaching aids. A grammatical analyzer was implemented with SWI-Prolog, and after it was tested and analyzed with the Airty/Prolog32 interpreterProtocol Buffers (1,218 words) [view diff] exact match in snippet view article find links to article
any external tools". GitHub. 21 October 2021. "SWI-Prolog: Google's Protocol Buffers Library". "SWI-Prolog / contrib-protobufs". GitHub. Retrieved 2022-04-21Functional logic programming (150 words) [view diff] exact match in snippet view article find links to article
"The Journal of Functional and Logic Programming". University of Münster. Functional logic programming at U. Kiel "func" library for SWI-Prolog v t eOperator (computer programming) (1,179 words) [view diff] exact match in snippet view article
1007/978-3-642-14455-4_34. ISBN 978-3-642-14454-7. ISSN 0302-9743. "SWI-Prolog -- op/3". www.swi-prolog.org. "Declare an operator". seed7.sourceforge.net. "DefinedRocksDB (1,527 words) [view diff] exact match in snippet view article find links to article
"Photonios/rocksdb-php". GitHub. 11 August 2021. ""rocksdb" pack for SWI-Prolog". www.swi-prolog.org. "stephan-hof/pyrocksdb". GitHub. 27 October 2021. "rocksdb-rubySerialization (4,974 words) [view diff] exact match in snippet view article find links to article
break in edge cases. As examples, see the corresponding manual pages for SWI-Prolog, SICStus Prolog, GNU Prolog. Whether and how serialized terms receivedBNR Prolog (284 words) [view diff] exact match in snippet view article find links to article
in CLP(BNR), in: 1st Workshop on Principles and Practice of Constraint Programming, 1993. GitHub site for a 2018 re-implementation in SWI-Prolog v t eProbLog (1,000 words) [view diff] exact match in snippet view article find links to article
implemented as part of the cplint probabilistic logic programming package for SWI-Prolog, YAP and XSB. ProbLog has been extended or used as inspiration for severalList of open-source programming languages (101 words) [view diff] exact match in snippet view article find links to article
Apache 2.0 PHP PHP License Pony MIT PowerShell Core MIT Prolog BSD, GPL (SWI-Prolog) Pure Data BSD-3-Clause PureScript BSD Python Python Software FoundationForeach loop (4,147 words) [view diff] exact match in snippet view article find links to article
Statement Documentation". Digital Mars. Retrieved 2008-08-04. "SWI-Prolog – foreach/2". Swi-prolog.org. Retrieved 2020-02-10. "Rebol". "Red Programming Language"Constraint programming (2,324 words) [view diff] exact match in snippet view article find links to article
SEND+MORE=MONEY in constraint logic programming: % This code works in both YAP and SWI-Prolog using the environment-supplied % CLPFD constraint solver library. It mayPython (programming language) (14,436 words) [view diff] exact match in snippet view article
Prolog: The Next 50 Years (pp. 93–104). Cham: Springer Nature Switzerland. "SWI-Prolog Python interface". Archived from the original on 15 March 2024. RetrievedDynamic programming (9,283 words) [view diff] exact match in snippet view article find links to article
Dynamic Programming and the Viterbi Algorithm Tabled Prolog BProlog, XSB, SWI-Prolog IFORS online interactive dynamic programming modules including, shortestUnification (computer science) (7,377 words) [view diff] exact match in snippet view article
Paterson & Wegman (1978) sect.2, p.159 "Declarative integer arithmetic". SWI-Prolog. Retrieved 18 February 2024. Jonathan Calder, Mike Reape, and Hank ZeevatList of unit testing frameworks (6,802 words) [view diff] case mismatch in snippet view article find links to article
"CameronWills/OEUnit". GitHub. 24 November 2020. "Prolog Unit Tests". Swi-prolog.org. Retrieved 2012-11-12. "Folder "tester"". xlog.ch. Archived from the