Search Results for "prolog expert system"
Sort By:
Showing 221 open source projects for "prolog expert system"
View related business solutions-
CentOS Linux is experiencing End of Life on June 30th, leading to potential gaps in security. With Red Hat Enterprise Linux on Azure, IT Teams can seamlessly migrate mission-critical CentOS Linux workloads knowing they don’t have to compromise on security, scalability, reliability, and simplifying cloud management. Securely accelerate innovation and unlock a competitive edge with enterprise-grade modern cloud infrastructure.
-
Vertex AI offers everything you need to build and use generative AI—from AI solutions, to Search and Conversation, to 130+ foundation models, to a unified AI platform.
-
1
Mobile Verification Toolkit
Helps with conducting forensics of mobile devices
... understanding the basics of forensic analysis and using command-line tools. This is not intended for end-user self-assessment. If you are concerned with the security of your device please seek expert assistance. Compare extracted records to a provided list of malicious indicators in STIX2 format. Generate JSON logs of extracted records, and separate JSON logs of all detected malicious traces. -
2
eqMac
macOS System-wide audio equalizer & volume mixer
System audio equalizer for macOS. Professional grade Parametric EQ & volume mixer. If you feel like your audio device (Headphones or Speaker) does not have enough Bass (low frequency) punch, or vice versa, you can adjust that using eqMac. macOS does not have a direct way to access the System Audio stream, so we use the eqMac Audio driver to divert the system audio to the driver's input stream. Then eqMac captures that Input audio stream processes it, and sends it directly to the output device... -
3
Mail-in-a-Box
Take back control of your email with this mail server in a box
Mail-in-a-Box helps individuals take back control of their email by defining a one-click, easy-to-deploy SMTP+everything else server, a mail server in a box. Mail-in-a-Box lets you become your own mail service provider in a few easy steps. It’s sort of like making your own gmail, but one you control from top to bottom. Technically, Mail-in-a-Box turns a fresh cloud computer into a working mail server. But you don’t need to be a technology expert to set it up. Our goals are to make deploying... -
4
Arduino core support for STM32
STM32 core support for Arduino
This repo adds the support of STM32 MCU in Arduino IDE. This porting is based on STM32Cube MCU Packages including the HAL hardware abstraction layer, enabling portability between different STM32 devices via standardized API calls. The Low-Layer (LL) APIs, a lightweight, optimized, expert-oriented set of APIs designed for both performance and runtime efficiency. CMSIS device definition for STM32. Arduino.cc IDE allows to add easily new board thanks the "Boards Managers". More information about... -
CODESOFT is an enterprise-level RFID and barcode label design application offering unmatched flexibility, power, and support. Available in print-only, single-user, and network configurations, CODESOFT is designed to meet all of your barcode labeling needs. Whether your goal is streamlining label printing, printing labels using a form, connecting a scale to your label template, or integrating your business database with your label templates, CODESOFT provides a solution for your organization’s most advanced labeling needs. Connect to SQL or Oracle databases for business system integrations and greater efficiency. CODESOFT includes over 100 barcode symbologies including GS1, supports all common image formats, and enables rich text editing. Native printer drivers are included for over 4,000 thermal, thermal transfer, and inkjet label printers to ensure the best label printing quality.
-
5
Skytable
Skytable is a fast, secure and reliable realtime NoSQL database
... to exploit all CPU cores which helps lower your TCO. Written in Rust with expert analyzed unsafe code for memory safety and TLS for encrypted connections. Have 1MB memory? That's all Skytable needs. With no platform-specific dependencies, Skytable can virtually run on anything that has an OS. Features like keyspaces, tables, data types, authn+authz, snapshots and more are ready for you to use while we're working on several new data models and features. -
6
covid19
Tokyo COVID-19 Task Force website
..., a situation analysis by an expert is conducted for each item, and the infection situation in Tokyo and the medical care provision system are each evaluated as a "summary comment" on a four-point scale. -
7
DataSophon
The next generation of cloud-native big data management expert
Aiming at quickly deploying, managing, monitoring and automating the operation and maintenance of Big Data service components and nodes, helping you quickly build stable, efficient Big Data cluster services. The Three-Body Problem, a Hugo Award-winning work of the world's highest science fiction literature, is known for its stunning "hard science fiction" style, and its author Liu Cixin is credited with "single-handedly raising Chinese science fiction to a world-class level". As a very... -
8
Svelto.ECS
Svelto ECS C# Entity Component System
Real ECS framework for c#. Enables writing encapsulated, decoupled, maintainable, highly efficient, data-oriented, cache-friendly, code without pain. Although the framework is platform agnostic (compatible with c# 7 and above and .net standard 2.0 and above), it comes with several Unity extensions. Svelto.ECS is easy to start with, but full of tricks for expert users. The hardest problem to overcome is usually to shift mentality from OOP programming to ECS programming more than using... -
9
DeepSpeed
Deep learning optimization library: makes distributed training easy
DeepSpeed is an easy-to-use deep learning optimization software suite that enables unprecedented scale and speed for Deep Learning Training and Inference. With DeepSpeed you can: 1. Train/Inference dense or sparse models with billions or trillions of parameters 2. Achieve excellent system throughput and efficiently scale to thousands of GPUs 3. Train/Inference on resource constrained GPU systems 4. Achieve unprecedented low latency and high throughput for inference 5. Achieve extreme... -
Manage your enterprise’s compensation lifecycle and accurately recognize top performers with a digitized, integrated system. Keep employees invested and your HR team in control while preventing compensation chaos.
-
10
cipi
Install and manage your server like a pro
... without be a Linux expert. Server Management: manage one or more servers in as easy as a few clicks without be a LEMP Guru. Perfect stack for PHP devs: Cipi comes with nginx, PHP, MySql, Composer, npm, Redis and Supervisor. No unsed open ports, unprivileged PHP, isolated system users and filesystem, only SFTP (no insecure FTP), http/2, Free SSL certificates everywhere. -
11
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. -
12
-
13
Delphi Help Expert
integrates the Delph 7 help system into later Delphi IDEs
With the "new" Delphi IDEs also came a new help system which many think is worse than the one from Delphi 7. This IDE plugin lets you call the Delphi 7 help from within the new IDEs. It also lets you specify other resources that you want to have available from within the IDE, e.g. Google search. -
14
Expert And Decision
Expert System
This app can create several expert systems. At the moment you can identify fern, spectral classes of stars and statistical forecast methods. Unfortunately this expert systems are created in german language. -
15
Programming Without Coding Technology
Create software without writing a single line of code
PWCT is not a Wizard for creating your application in 1 2 3 steps. PWCT is a general-purpose visual programming language designed for novice and expert programmers. A novice programmer can use PWCT to learn programming concepts like Data Structures, Control Structures and Programming Paradigms. An expert programmer can use PWCT to create any large and complex software. Using PWCT we developed a textual programming language Compiler and Virtual Machine without writing a single line of code... -
16
CLIPS Rule Based Programming Language
Expert System Tool
CLIPS is a forward-chaining rule-based programming language written in C that also provides procedural and object-oriented programming facilities. -
17
fre:ac - free audio converter
Audio converter and CD ripper for various formats
fre:ac is a free audio converter and CD ripper for various formats and encoders. It features MP3, MP4/M4A, WMA, Ogg Vorbis, FLAC, AAC, and Bonk format support, integrates freedb/CDDB, CDText and ID3v2 tagging and is available in several languages. -
18
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
19
Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
-
20
ConceptBase.cc
A Database System for Metamodeling and Method Engineering
ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level... -
21
RELIANOID
Network Load Balancer and Application Security
...), application security including web application firewall (WAF), blacklists, Realtime Blackhole Lists (DNSBL), DDoS protection, stateful clustering, SNMP monitoring, email and SNMP notifications, RBAC, VPN support, and the best Support directly from an expert Team. -
22
EulerSharp
Euler Yet another proof Engine
EYE [1] is a reasoning engine supporting the Semantic Web layers [2]. It performs controlled chaining and it supports Euler paths [3]. Via N3 [4] it is interoperable with Cwm [5]. [1] http://eulersharp.sourceforge.net/README [2] http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a [3] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html [4] http://www.w3.org/TeamSubmission/n3/ [5] http://www.w3.org/2000/10/swap/doc/cwm -
23
Datalog Educational System
Deductive Database with Datalog, SQL, RA, TRC, DRC
The Datalog Educational System (DES) is a deductive database with Datalog, SQL, Relational Algebra, Tuple Relational Calculus and Domain Relational Calculus as query languages developed mainly for education. It can be used from most common Prolog interpreters over any supported OS and from portable executables (Windows, Linux and MacOS). -
24
cerberuscms2
Cerberus Content Management System
Cerberus Content Management System is a dynamic, secure and expandable CMS and Web Application Framework with a consistent and custom Pre-Hyper-Text-Post-Processor Programming Code Framework. The latest release is programmed with the PHP PDO driver programming code statements that enables it to work on any Database Management System Server: MySQL, MariaDB, MicrosoftSQL, MiniSQL and More.. Continuation From @CerberusCMS -
25
Multivariate Forex Calculus Robot
MQL4, MQL5, C++ Expert Advisor, Forex Calculus Robot.
This Project is provided for Scientific/Research purposes. It needs to be run on Forex Demo account and if it is working on Forex and there are those that claim that Forex is chaotic, unpredictable system, that means that this method will work on other real life complex systems (somewhere in industry or in natural environment, where there are physical laws known governing those systems) , in which there are many variables depended on each other and there is need to predict future movement...