Search Results for "linux-gnome"
Sort By:
Showing 21 open source projects for "linux-gnome"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Automate contact and company data extractionGenerate leads at scale without building or maintaining scrapers. Use 10,000+ ready-made tools that handle authentication, pagination, and anti-bot protection. Pull data from business directories, social profiles, and public sources, then export to your CRM or database via API. Schedule recurring extractions, enrich existing datasets, and integrate with your workflows.
-
1
GNU Prolog
The GNU Prolog native compiler
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver. -
2
Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
-
3
Programming Language ADP
ADP is a script language designed for Web database prgramming.
ADP (Another Data Processor) is a programing language that is designed for Web database programing. It is a scripting language and a lightweight programming language in which it is possible to mix SQL easily. It is easy to install. ADP is base on Prolog. But ADP uses only the backtrack and unification. The syntax is original and likes a another scripting language, supports method call. -
4
FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason...
-
Axe Credit Portal - ACP- is axefinance’s future-proof AI-driven solution to digitalize the loan process from KYC to servicing, available as a locally hosted or cloud-based software.Founded in 2004, axefinance is a global market-leading software provider focused on credit risk automation for lenders looking to provide an efficient, competitive, and seamless omnichannel financing journey for all client segments (FI, Retail, Commercial, and Corporate.)
-
5
s(ASP)
Implements the stable model semantics without grounding.
s(ASP) is an implementation of the stable model semantics of logic programming. Unlike similar systems, it does not employ any form of grounding. This allows s(ASP) to execute programs that are not finitely groundable, including those which make use of lists and terms. Work on s(ASP) is supported by the National Science Foundation under Grant No. 1423419. Details of how s(ASP) works can be found in the following paper: Marple, Kyle, Elmer Salazar, and Gopal Gupta. "Computing Stable... -
6
The Yap Prolog System is a ISO-compatible high-performance Prolog compiler. Yap is widely considered one of the fastest available Prolog systems. Yap supports coroutining, CLP(QR), CHR, and depth-bound search. Tabling and parallelism are in development.
-
7
C#Prolog
C#Prolog -- A Prolog interpreter written in managed C#
C#Prolog -- A Prolog interpreter written in C#. Can easily be integrated in C# programs. Characteristics: reliable and fairly fast interpreter, command line interface, Windows-interface, builtin DCG, XML- and JSON-predicates, SQL-predicates, extendible. -
8
JIProlog
Java Internet Prolog (Moved to GitHub)
N.B. THE PROJECT HAS BEEN MOVED TO GITHUB https://github.com/jiprolog/ JIProlog is a cross-platform pure Java 100% Prolog interpreter that integrates Prolog and Java languages in a very fashinating way. JIProlog is compliant with the major Prolog interpreters. It supports most of ISO Prolog specifications and the most common and used built-in predicates, JIProlog allows to call Prolog predicates from Java without dealing with native code (JNI or JNA) and allows to invoke Java... -
9
Galliwasp
Goal-directed answer-set programming
Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method. -
Say goodbye to broken revenue funnels and poor customer experiencesLeanData is a Demand Management solution that supports all go-to-market strategies such as account-based sales development, geo-based territories, and more. LeanData features a visual, intuitive workflow native to Salesforce that enables users to view their entire lead flow in one interface. LeanData allows users to access the drag-and-drop feature to route their leads. LeanData also features an algorithms match that uses multiple fields in Salesforce.
-
10
JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.
-
11
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... -
12
Extrospective agent program is a software agent architecture extending the well known BDI paradigm. This project is in collaboration with A&A framework by Alessandro Ricci, and Jason agent programming project by Jomi F. Hübner and Rafael H. Bordin.
-
13
JLog is a Prolog interpreter written in Java. It is fast and perfectly suited for education. It includes source editor, query panels, online help, animation primitives, and a GUI debugger. JScriptLog is Prolog in JavaScript.
-
14
Fi-shell is a front-end to your system shell. It provides nonblocking i/o (concurrency) and pattern maching that is both easy to remember and readable (logic programming)
-
15
The CommGen platform is intended to be a simple, scalable integration platform for small to medium problem sets. The architecture is simple, consisting of a distributed kernel, distributed O/S, agent and application layer.
-
16
-
17
-
18
ProLOGO is a LOGO-like language written in swi-prolog with XPCE graphic libraries. Almost all the basic commands are implemented but there is no support for procedures (yet).
-
19
-
20
Am implementation of ISO Prolog standard as Java library. We have moved to savannah: https://savannah.gnu.org/projects/gnuprologjava/
-
21
A pure java based prolog engine. This is a fork of the OpenSource Kernel Prolog from Paul Tarau (BinNet Corp.). This project was abandoned in favor of GNU Prolog for Java: http://www.gnu.org/software/gnuprologjava/
- Previous
- You're on page 1
- Next
