Search Results for "gnu prolog"
Sort By:
Showing 15 open source projects for "gnu prolog"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Keep company data safe with Chrome EnterpriseProtect your business with AI policies and data loss prevention in the browser.
-
1
IP-Array
An iptables IPv4 firewall and traffic shaping program
A Linux IPv4 iptables firewall and traffic shaper. It allows flexible rule creation, while also shipping with presets for common needs. Rules are written in simple XML, allowing various ways to group and nest the arguments. An interactive mode is available in order to build configuration files in a wizard based manner. Extensive documentation is also included. -
2
pltc
Prolog to C compiler with runtime for DOS, Windows and Raspbian
Prolog to C compiler with runtime for DOS (with Turbo C), Windows 10 64 bits and Raspbian (Raspberry Pi) -
3
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.
-
4
MotOrBAC
An OrBAC policy editor
MotOrBAC is a tool to help you design and implement a security policy using the OrBAC (Organisation Based Access Control) model. It is developped using the OrBAC API, an implementation of the OrBAC model. -
The All-in-One Commerce Platform for Businesses - ShopifyShopify is a leading all-in-one commerce platform that enables businesses to start, build, and grow their online and physical stores. It offers tools to create customized websites, manage inventory, process payments, and sell across multiple channels including online, in-person, wholesale, and global markets. The platform includes integrated marketing tools, analytics, and customer engagement features to help merchants reach and retain customers. Shopify supports thousands of third-party apps and offers developer-friendly APIs for custom solutions. With world-class checkout technology, Shopify powers over 150 million high-intent shoppers worldwide. Its reliable, scalable infrastructure ensures fast performance and seamless operations at any business size.
-
5
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. -
6
linux-Adequate
(download) Linux Adequate"available approximately five days"
linux Adequate Elite (based on):/ debian and "most other distro which based on debian" ****************************************************** (alot of apps in):/ "graphics, multimedia, games, internet, office, science&math, crossover, wine, utilities,development,system,education" ****************************************************** (interfacses):/ "gnome 3, gnome classic, gnome (no effects), kde plasma workspace, kde plasma (safe session), metacity, unity 3d,... -
7
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)
-
8
The PeerTrust system uses policies to describe trust and security requirements. Such policies are a component of Peertrust run-time system that can negotiate to establish trust among systems on the Semantic Web
-
9
GNU Prolog API for distributed multithreading programming built on top of the PM2 environment. The thread management is made with a user-level multithreading library and communication is made on top of Madeleine, the communication subsystem of PM2.
-
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
The Rule Based Service Level Agreement (RBSLA) project focuses on knowledge representation concepts for service level management of IT services. At the core are rule-based languages to describe contracts and service level agreements in a formal way.
-
11
OpenESM project to promote software development of enterprise systems management. Focus areas are (Performance and Availability, Configuration Management, Data Warehousing, Reporting and Correlation).
-
12
Ignite is used to optimize the distribution of a given group of files whithin the smallest possible number medias (of any kind). Ignite is highly configurable and has a lot of options (using user-defined commands to burn the medias is only one of them).
-
13
The IMAGO (Intelligent Mobile Agent Gliding On-line) system is a platform used to develop and deploy Prolog based Mobile Agents.
-
14
Multiplatform (MUltiple Language / Target Integration PLATform FOR Modules) implements a unified integration platform for multiple modules written in multiple languages (C, C++, Prolog, Java) and multiple target platforms (GNU/Linux, Solaris, Windows).
-
15
The Prolog Expert System Shell (PESS) is a software that generates ES using basically two components: Knowledge Base, used by the ES to guide its decisions making, and Inference Machine, cable of collection the rules and generating new facts.
- Previous
- You're on page 1
- Next