iris traffic analyzer download

Name: iris traffic analyzer download
Category: Free
Published: chisethatri1972
Language: English

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Search Results.
Filters.
63 programs for "prolog software" W >
Do you have a GitHub project? Now you can sync your releases automatically with SourceForge and take advantage of both platforms.
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.
Linguistic Tree Constructor.
Syntax tree editor for rapid annotation of existing text.
Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user. LTC supports "generic", X-Bar and RRG trees. Supports interlinear texts in SIL SFM format.
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.
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!
Logic Programming and Deductive Database system (Tabled Prolog ) for Unix and Windows.
Yield Prolog - Embed Prolog in your code.
Embed Prolog directly in your Python, C# or Javascript program using the yield keyword. There is no API standing between your code and Yield Prolog , so you can use all language features, including arrays, file I/O, user interaction and your own classes.
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.
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 Models.
ConceptBase.cc.
A Database System for Metamodeling and Method Engineering.
. (constructs for defining modeling languages), and so forth. ConceptBase.cc is developed by the ConceptBase Team at University of Skövde (HIS) and University of Aachen (RWTH). ConceptBase.cc supports Linux, Mac OS X and Windows. ConceptBase.cc is free software distributed under a FreeBSD-style license.
AminePlatform.
Amine is a Multi-Layer Platform for the dev. of Intelligent System.
Amine is a Multi-Layer Java Open Source Platform dedicated to the development of various kinds of Intelligent Systems (Knowledge-Based, Ontology-Based, Conceptual Graph Based, NLP, etc.) and Intelligent Agents. See: //amine-platform.sourceforge.net/
Deductions.
Artificial Intelligence techniques applied to common software tasks, using First Order Logic; N3, OWL ontologies and rules. Enables component-based application building, platform independence, user-friendliness. Leverage on Euler inference engine + GUI.
EulerGUI.
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.
Java Prolog Interoperability Engine.
JPIE is an implementation of an Open Source Java to Prolog / Prolog to Java interoperability mecanism based on the Java VM.
The Uranium Test Engine.
The uranium is a system for test automation. It uses a prolog language for high-level modelling of business process in software and system of drivers which allows use any channel for manage the program (web, db connection etc).
Galliwasp.
Goal-directed answer-set programming.
Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method.
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.
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 engine.
pyIRDG.
IMDb Relational Dataset Generator.
pyIRDG is a program written in Python to generate relational datasets in Prolog format. It uses data from the Internet Movie Database in combination with IMDbPY as backend. A graphical user interface written in pyQt allows the user to link multiple entities together as model for the generation process. The big four entities are Title, Person, Company and Character. Many attributes can be chosen for adding to the output .pl file. Three types of constraints on attributes are available to limit.

http://poarebdedarabta.eklablog.com/able-photo-resizer-download-bac...