Search Results for "resolution"
Sort By:
Showing 3 open source projects for "resolution"
View related business solutions-
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
1
jWAM
A 100% Java Warren Abstract Machine implementation.
jWAM is a 100% Java Warren Abstract Machine implementation. Currently it is still under development though all the basic functionalities (compiling, resolution) are working. As far as I know this is the only open source Java based implementation out there that does not simplify Warren's design. I have done some comparison's with other Java based Prolog engine's and jWAM does seem to outperform them all quite well (tuProlog, JLog, JIP, jTrolog). However, if you need a Java based Prolog engine for your project I recommend tuProlog and jTrolog as they are at the moment way more mature than jWAM. ... -
2
Web interface to a prolog interpreter, where you can load prolog programs, do consults, and visualize the resolution tree in SVG.
-
3
C est un projet visant a faire un moteur de resolution de contrainte utilisant le langage Score FD/I. Projet de promotion de maitrise a l universite de bourgogne par dix etudiants.
- Previous
- You're on page 1
- Next
