With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Try free now
Total Network Visibility for Network Engineers and IT Managers
Network monitoring and troubleshooting is hard. TotalView makes it easy.
This means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
Proshee is a Prolog type-inference system written in Prolog but depending on the banshee project in C (banshee.sourceforge.net). At present it manages very simple type-inference, but it has some problems with lists that need to be overcome.
PrologDoc is a small Prolog tool to document your Prolog applications, much like the better-known Javadoc does for Java. Its aim is to be simple but useful and freely usable.
For Public, Charter, and Private Schools, Daycares, After-School Programs, and Summer Camps
PikMyKid is the first and only safe & smart dismissal solution for school districts, charter/private schools, after-school programs, YMCAs, JCCs, Summer camps, and daycare facilities. It connects schools, teachers, and parents through real-time tools to make dismissals safer and more efficient. PikMyKid schools are able to confidently organize their dismissals with ease and no longer rely on paper notes or tedious phone calls to the front office.
Oopl (rhymes with "scruple") is an object-oriented extension for Prolog. This kernel now lets you
write Prolog programs making use of all the
advantages of working with classes, instances,
attributes and service-like predicates.
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).
ProLOGO is a LOGO-like language written in swi-prolog with XPCE graphic libraries. Almost all the basic commands are implemented but there is no support for procedures (yet).
A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine
Designed to meet the unique needs of Federal Government Contractors.
R3 Contract Management for GovCon is a practical, flexible, and affordable software solution designed specifically for small to mid-size Federal Government Contractors. It provides you with a centralized contract management system. This gives you greater control over your contracts, reduces risks, increases your effectiveness and provides you with cost savings from increased productivity.
Mercury is a modern logic/functional programming language. The Mercury system includes a
compiler, debugger, libraries, sample code, profilers, etc. Mercury is designed to be the successor
of logic programming languages such as Prolog.
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.
SLPG (Semiautomatic Logic Program generator) is an academic tool whose goal is to help unexperienced logic programmers to develop Prolog programs using a systematic methodology.
A pure java based prolog engine. This is a fork of the OpenSource Kernel Prolog from Paul Tarau (BinNet Corp.).
This project was abandoned in favor of GNU Prolog for Java: http://www.gnu.org/software/gnuprologjava/
EPromote is an Eclipse plugin that allows to define model transformations of EMF-based models with Prolog. EPromote stands for "Eclipse Prolog MOdel Transformation Engine".
reputron is a knowledge extraction engine platform that covers all aspect of text mining, relevance, indexing and querying on a corpus of text documents.
Learn basic constraint logic programming by solving logic word puzzles. Go to http://eclipse.dougedmunds.com . This tutorial will show you how to solve easy 1 star to hard 5 star puzzles, using the eCLiPSe-CLP language (available at http://eclipseclp.org/).
Don't confuse this programming language (a prolog language) with the IDE for Java.
MatForce is a compiler that translates MatLab scripts into self-contained C++ code, producing human-readable, extensible C++ sources that can be fitted to the needs of the encapsulating application.