Home > By category > Developer Tools >Management & Distribution > PathLP



PathLP

  • Downloads: 
  • Views: 
  • Rating:

PathLP, that actually refers to a path oriented logic programming language is a new programming language that you can use.

PathLP is a logic programming language of guarded path expressions. It has constructs for object path expressions, type path expressions, cardinality constraints, and membership and subset formulas.

This language is being developed as a foundational layer for the F-logic based object modeling language F-OML, but is also interesting in its own right. F-OML is intended as an expressive, executable formal basis for model-level IDEs.

It supports a wide variety of model-level activities, such as imposing constraints on UML diagrams, defining design patterns, reasoning about UML diagrams, testing UML diagrams, specification of Domain Specific Modeling Languages, and meta-modeling.

An extension of F-OML to support Object-State is planned. F-OML is part of our general modelling activities.

PathLP implementation is written in XSB, a tabling based logic programming engine. PathLP is smoothly integrated with XSB and supports most of its features.

Free download from Shareware Connection - PathLP, that actually refers to a path oriented logic programming language is a new programming language that you can use.

Publisher: Mira Balaban, Michael Kifer, Igal Khitron | License: Freeware | Price: 0.00
Version: Beta | Platform: WinOther
Released Date: | Rating: 0 | Title: PathLP

Author Url: http://sourceforge.net/projects/pathlp
Program Info Url: http://sourceforge.net/projects/pathlp
Download Url: http://sourceforge.net/projects/pathlp/files/pathlp.tar.gz/download

PathLP keywords:
PathLP related downloads:

Web Application Development with PHP 4.0 - In the first part of Web Application Development with PHP the authors explain PHP's advanced syntax like classes, recursive functions and variables.

.NET Custom Application Development and Migration Services - e-Zest Solutions is an offshore development company provides .NET consulting services like migration of legacy applications to .NET , .NET Custom Software Development , .NET Desktop and Web Application Development and .

ApexSQL Code - Code Generator - ApexSQL Code is a Rapid Application Development (RAD) Code Generation tool, streamlined specifically for Microsoft SQL Server. It enables you to automatically generate thousands of lines of code of perfect C#, VB.NET, ASP.

Code Writer for Windows 8 - Code Writer is a useful application for the Windows 8 users who want to write code in a clear and use to use interface.

CODE Framework - CODE Framework is a collection of libraries amd components designed to help developers with common aspects of business application development, such as simplified SOA development with various clients, or WPF development, data access, and much more.

Shareware Connection periodically updates pricing and software information of 'PathLP' from company source 'Mira Balaban, Michael Kifer, Igal Khitron' , so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft,  Using 'PathLP' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of PathLP.

New Reviews

Safe In Cloud - It is quite difficult to find any computer users nowadays who do not need to use the web, for any purpose. Whether it is for education or entertainment, the web is your best resource. You also need to use various online services for banking, ...

Backup Dwarf Home Edition - Making backups of data and media content has become extremely important for computer users nowadays. Owing to hardware failure, you may end up losing gigabytes of precious data. Besides, you may not want to leave sensitive data accessible to all ...

360 Internet Security - Using a computer without having capable Security software installed is equivalent to sleeping with your house’s main door wide open. Whether you use a PC at home or manage a network of computers at the workplace, PC security suite has ...

SiSoftware Sandra Lite - People use computers for various needs, including work, entertainment and information seeking. However, a majority of PC users do not bother much about intricate details of their PC’s hardware parts. A section of users are particular about ...

SeaTools for Windows - Among all the hardware components used in a desktop or laptop, the hard disk is a prime one. In the hard disk is not in good shape, even a PC with powerful CPU and lots of RAM will malfunction or run sluggishly. Hard disk failure can lead to data ...

Potatoshare Systemnanny - People use PCs for various needs nowadays. A computer is not used to run office productivity or accounting software alone anymore. It is also used for tasks like web browsing, media playback, file conversion, and myriad related needs. After ...

Cold Turkey - To keep your kids and teenage family members away from pornographic and objectionable websites you can use parental control software. Such apps offer numerous restrictive measures to limit PC and web access for young users. However, adult users ...

Quick Crypt - PC users have become more conscious and careful about privacy of their data these days, especially about the data they need to share with others. There are valid reasons for this trend. Instances of personal information theft and attacking are on ...

MusicBee - Irrespective of what type of a PC you use, it will be necessary to use a media player app from time to time. If the WMP is not your cup of tea, you will have to pick from third-party music player apps. The problem with some such apps is that ...

Impulse Media Player - To play back media files including media and video content, you need to use suitable software. For a majority of Windows users, the integrated WMP is the default choice. However, you can also pick from so many third party music and media playback ...




New Downloads

Bytescout PDF SDK

API to create rich PDF
documents with text, images,
graphics, with ability to draw
on the page of existing PDF
document

EaseFilter File System
Filter Driver SDK

Monitor the file system I/O
activities on the fly. Control
file system I/O,allow, denied
or modify file system ...

ZigBee Operator

ZigBee Operator is a
professional tool to learn,
research, develop and test
Digi’s ZigBee/XBee module.
It implements ...

FoxBurner SDK

Cross-platform SDK for easy
implementation and ultra-fast
integration of CD, DVD and
Blu-ray disc backup and
recording ...

SecureBlackbox .NET

SecureBlackbox.NET is a
comprehensive component
collection that adds SFTP,
FTPS, SSH, PGP, PDF, XML
security, S/MIME, ...

PCLTool SDK Option V : PCL
to PDF

PCLTool SDK Option V converts
COMPLEX PCL into PDF or PDF/A
format, or XPS format while
extracting text. The PCLXForm
...

RVMedia

RVMedia is a set of components
displaying video from web
cameras (local USB cameras and
remote IP-cameras),
configuring ...

Memory Management ActiveX

With this component you can
scan processes in RAM and free
the usage memory with a
progress notification, fast,
and easy ...

SMTP/POP3 Email Engine for
PowerBASIC

SMTP/POP3/IMAP PowerBASIC
email component library uses a
simple API to send and receive
mail, including HTML and MIME
...

SMTP/POP3/IMAP Email Engine
for C/C++

SMTP/POP3/IMAP C/C++ email (32
& 64 bit) component
library uses a simple API to
send and receive mail,
including HTML ...

Win Panel

WinPanel is a gadget for your
desktop. With this program you
can customize the shortcuts
instead of using the usual ...

Smart .NET Obfuscator

Skater Smart .NET Obfuscator
is an obfuscation tool for
.NET code protection. It
implements software protection
...