Search Results for "https"
Sort By:
Showing 4 open source projects for "https"
View related business solutions-
Get full visibility and control over your tasks and projects with Wrike.Wrike offers world-class features that empower cross-functional, distributed, or growing teams take their projects from the initial request stage all the way to tracking work progress and reporting results.
-
Run applications fast and securely in a fully managed environmentRun frontend and backend services, batch jobs, deploy websites and applications, and queue processing workloads without the need to manage infrastructure.
-
1
Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
-
2
s(ASP)
Implements the stable model semantics without grounding.
...Details of how s(ASP) works can be found in the following paper: Marple, Kyle, Elmer Salazar, and Gopal Gupta. "Computing Stable Models of Normal Logic Programs Without Grounding." arXiv preprint arXiv:1709.00501 (2017) (https://arxiv.org/abs/1709.00501). -
3
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 methods from Prolog in the same way you call predicates. -
4
Am implementation of ISO Prolog standard as Java library. We have moved to savannah: https://savannah.gnu.org/projects/gnuprologjava/
-
Marketing automation for any business | ActiveCampaignActive Intelligence revolutionizes how you work. You guide direction while AI handles execution, acts on insights, and shows you the path forward. It's how marketing should be.
- Previous
- You're on page 1
- Next
