Login or Register to Ask a Question and Join Our Community


Software Releases - RSS News

Logtalk 2.31.3 (Default branch)

Login to Discuss or Reply to this Discussion in Our Community

 
Thread Tools Search this Thread
Special Forums News, Links, Events and Announcements Software Releases - RSS News Logtalk 2.31.3 (Default branch)
# 1  
Old 01-28-2008
Logtalk 2.31.3 (Default branch)
Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm language, it includes support for both prototypes and classes, protocols, component-based programming through category-based composition, event-driven programming, and multi-threading programming. License: Artistic License Changes:
This release updates installer and integration scripts for detecting outdated Logtalk user data folders. Support for the encoding/1 directive was improved. A problem with the Quintus Prolog integration scripts was corrected.Image

More...
Login or Register to Ask a Question

Previous Thread | Next Thread
Login or Register to Ask a Question

LEARN ABOUT CENTOS

cf

cf(1)																	     cf(1)

   NAME
       cf - Confluence compiler

   SYNOPSIS
	   cf [options] [file] [arguments]

   DESCRIPTION
       Confluence  is  a functional programming language for reactive system design, including digital logic systems (ASIC, FPGA) and control ori-
       ented hard real-time software.

       The Confluence compiler (cf) translates a Confluence description into Verilog and VHDL (for digital logic synthesis), C (for simulation and
       software targets), and NuSMV (for formal verification, via model checking).

   OPTIONS
       -h OR -help Prints this information then exits.

       -b filename OR -base_env filename

	      Sets the base environment for the compilation.
		     Overrides the CF_ENV

	      environment variable.
		     If CF_ENV not defined and -base_env option not set, the base environment defaults to /usr/share/confluence/base.cf.

       -e integer OR -error_limit integer

	      Sets the maximum number of reported errors.
		     A negative number reports all errors.

       -c OR -compile_only Parses and compiles, but does not evaluate a program.

       -o name

	      Sets the output file name.
		     Default is out.fnf.

       -test Run the built in unit tests.

   ENVIRONMENT VARIABLES
       CF_ENV A filename that specifies the base environment (commonly base.cf).

       CF_LIB The directory location of the Confluence standard library (optional).

   VERSION
       0.10.6

   AUTHOR
       Tom Hawkins (tomahawkins@yahoo.com)

   SEE ALSO
       http://www.confluent.org/

   COPYRIGHT
       Copyright (C) 2003-2005 Tom Hawkins

								  31 January 2010							     cf(1)