Showing 66 open source projects for "source-han"

View related business solutions
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 1
    GNU Prolog

    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.
    Leader badge
    Downloads: 45 This Week
    Last Update:
    See Project
  • 2
    XSB
    Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
    Downloads: 17 This Week
    Last Update:
    See Project
  • 3
    AminePlatform

    AminePlatform

    Amine is a Multi-Layer Platform for the dev. of Intelligent Systems

    Amine is an Artificial Intelligence Multi-Layer Java Open Source Platform dedicated to the development of various kinds of Intelligent Systems and Agents (Knowledge-Based, Ontology-Based, Conceptual Graph -CG- Based, NLP, Reasoning and Learning, Natural Language Processing, etc.). Ontology, KB can be created and manipulated with various processes. CG theory is used as the main knowledge representation language.
    Leader badge
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    Flora-2
    Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
    Downloads: 0 This Week
    Last Update:
    See Project
  • Auth0 B2B Essentials: SSO, MFA, and RBAC Built In Icon
    Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

    Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

    Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
    Sign Up Free
  • 5
    Regulus is a Prolog-based toolkit for building spoken dialogue systems.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    A project which uses existing speech recognition and speech translation resources to build conversation partners for beginning language students, based on the idea of a "translation game".
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Prolog+CG is a Java implementation of Prolog with extensions implementing a subset of the Conceptual Graph (CG) theory of John Sowa. CGs are first-class datatypes on a par with terms. Object oriented extensions are also included.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    anpe

    anpe is Ada Neural Prolog Engine

    anpe is clients/server Ada/Prolog system for natural language traitement with Prolog Engine and Artificial Neural Network with Ada.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9

    psys

    psys is Prolog part of anpe projet

    psys is stutent project with prolog to attempt a dialog with machine. This project is part of anpe project. anpe project is Ada neural Prolog engine association project.
    Downloads: 0 This Week
    Last Update:
    See Project
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 10

    pyclp

    PyCLP is a Python library to interface ECLiPSe Constraint System

    PyCLP is a Python library to interface ECLiPSe Constraint Programmig System. This module try to implement a pythonic interface to ECLiPSe ( http://www.eclipseclp.org ) by compromising on a little bit on performance.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    A lightweight IDE for Artificial Intelligence. Started as GUI for the Euler reasoning engine. The sources can be N3, RDF, OWL, UML, eCore, plain XML or XSD, files or URL's. Wraps Drools (or CWM, FuXi) as N3 rules engines. Model based app. generation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    GLORIA

    a reasoning engine for agents and games

    This project is about implementing a logic-programming based, reasoning engine for an agent. We started with an implementation of the iff-proof procedures, by Kowalski and Fung, as an any-time algorithm written in Prolog.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    jDALMAS

    A Java front-end to the dnrDALMAS Prolog Module.

    A Java front-end to the dnrDALMAS Prolog Module, as described in the following paper: Hjelmblom, M., & Odelstad, J. (2009). jDALMAS: A Java/Prolog Framework for Deontic Action-Logic Multi-Agent Systems. In A. Håkansson, N. Nguyen, R. Hartung, R. Howlett, & L. Jain (Eds.), Agent and Multi-Agent Systems: Technologies and Applications (Vol. 5559, pp. 110–119). Berlin / Heidelberg: Springer. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-3963
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    dnrDALMAS

    A general-level Prolog implementation of the DALMAS architecture.

    DnrDALMAS is a Prolog module intended to be a general-level Prolog implementation of the abstract DALMAS (Deontic Action-Logic based Multi-Agent System) architecture. A DALMAS is regulated by a normative system based on an algebraic version of the theory of normative positions. For more information about dnrDALMAS, see the following technical report: Hjelmblom, M. (2008). Deontic action-logic multi-agent systems in Prolog. University of Gävle, Division of Computer Science; University of...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    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.
    Leader badge
    Downloads: 59 This Week
    Last Update:
    See Project
  • 16
    Java Agents Multiple System

    Java Agents Multiple System

    a Java API & Interpreter for AgentSpeak + Prolog

    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    We have implemented a core summarizer of scientific articles written in Spanish, with the following components: a tokenizer, a grammar checker, a clarity checker, a cohesion-coherence checker, a common-topic extractor and an output formatter.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18

    TinyCog

    Cognitive architecture with a focus on self-models

    TinyCog is a cognitive architecture (perception, action, reasoning, planning, and language) with a focus on representing "self-models" (physical, capabilities, intentions, social, historical, "cognitive stream") in order to implement social reasoning and collaborative planning in a "hunter domain" test bed. We use Prolog, RDF Triples, Description Logic and a HTN-Planner as base technologies.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    THIS PROJECT HAS MOVED TO GitHub, PLEASE VISIT: https://github.com/ssardina-agts/indigolog ------------- IndiGolog is a high-level programming language where programs are executed incrementally to allow for interleaved action, planning, sensing, and exogenous events.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    JIProlog

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    TuCSoN

    TuCSoN

    TuCSoN tuple-based coordination middleware

    TuCSoN (Tuple Centres Spread over the Network) is a tuple-based middleware for the coordination of distributed systems – including multi-agent systems, mobile agents and pervasive systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    A Practical Agent Programming Language
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Python interface to ECLiPSe Constraint Logic Programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next