Main > Free Download Search >

Free prolog 7.0 software for mac

prolog 7.0

Sponsored Links
Sponsored Links
Secleted [ 0 ] software to compare
Results 1 - 15 of about 122
tuProlog 2.1.1

tuProlog 2.1.1


A Java-based light-weight Prolog for Internet applications and infrastructures more>> A Java-based light-weight Prolog for Internet applications and infrastructures

TuProlog is a Java-based light-weight Prolog for Internet applications and infrastructures.
For this purpose, tuProlog is designed to feature some interesting qualities: it is easily deployable, just requiring the presence of a Java VM and an invocation upon a single JAR file.
TuPrologs core is both minimal, taking the form of a tiny Java object containing only the most essential properties of a Prolog engine, and configurable, thanks to the loading and unloading of predicates, functors and operators embedded in libraries.
The integration between Prolog and Java is as wide, deep, clean as possible; finally, interoperability is developed along the two main lines of Internet standard patterns and coordination models.

System requirements:
- Java

<<less
Download (1.8MB)
Added: 2009-05-12 License: GPL Price: FREE
179 downloads
Protean 7.0

Protean 7.0


Protean is designed as a sophisticated program which allows you to predict and display patterns, secondary structural characteristics and physicochemical properties of protein sequences more>>

Protean 7.0 is designed as a sophisticated program which allows you to predict and display patterns, secondary structural characteristics and physicochemical properties of protein sequences via its comprehensive suite of protein analysis tools. Protean's simple, elegant graphical user interface can also help you locate antigenic determinants and predict protease digestion patterns.

When you find interesting structures, you can utilize the integrated BLAST tool* to search NCBI's databases for related sequences using all or part of your polypeptide as the query. Protean also provides you with the tools to easily annotate and export your findings as reports, pictures or tables.

Requirements: Mac OS X 10.1 or higher (10.2 recommended)

<<less
Added: 2006-02-02 License: update/patch Price:
downloads
Prompt! Lite 7.0

Prompt! Lite 7.0


Prompt! Lite is a teleprompter software more>>
When on-camera talent performs, they read what they speak from a teleprompter. Traditionally, this task is performed by a dedicated computer with an application to edit and scroll the text at a user driven speed using a piece of hardware called a scroller.
The Video output of the scrolling text is reflected from a half silvered (pellix) mirror and the camera shoots through the other side of the mirror so that the talent is looking into the camera but reading the reflection of the text. This requires lots of software and hardware in order to achieve the same results as Prompt! and a laptop computer or computer monitor.
By placing the laptop computer between the talent and the camera the talent can read text from the top of the laptop screen and still appear to be looking at the camera if the camera is far enough back using a long lens.
Trial and effort is the key to getting a natural look to this process but the further the camera is from the subject, the better. If the talent will be controlling their own scrolling then mouse control is the best and if you have long mouse cord, thats even better. There is a built-in function to allow someone else to control the speed by using the keyboard or mouse. Use both if you like.
Prompt! also mirrors the text and displays at multiple resolutions.
Main features:
- Text can be imported and exported
- Simple text editing is available
- Native files can be saved
- User customizable controls
- Macintosh or Windows playback
- Control over font size
- Mirrors text display on screen
- Mouse or keyboard control
- Lite version available
- Multiple resolutions
Version restrictions:
- Free download version imports and scrolls 2500 words. Professional version has this restriction lifted.
Enhancements:
- Prompt! comes in two applications. Prompt on black covers the monitor(s) with a black mask and eliminates the chance of changing applications while using the application and Prompt, the other application, is a floating window and does not draw black on other monitors allowing you to open other applications easily. Using both applications at the same time is not recommended.
- Prompt! now is compatible with most PowerPoint/Keynote wireless remote control units.
<<less
Download (6.3MB)
Added: 2007-07-10 License: Freeware Price:
852 downloads
Revelator 7.0.1

Revelator 7.0.1


Extracts sounds, movies, pictures & more from Myst IV: Revelation. more>> <<less
Download (727.5KB)
Added: 2009-07-04 License: Freeware Price:
14 downloads
 
Other version of Revelator
Revelator 7.0Ron Hayter - Revelator is an easy and addictive puzzle game that extracts sounds, movies
License:Freeware
Download (723.7KB)
downloads
Added: 2008-12-19
Pogolyn 0.7.0

Pogolyn 0.7.0


Free, open source and easy to use cross-platform 3D graphics engine more>> Free, open source and easy to use cross-platform 3D graphics engine

Pogolyn is a cross-platform 3D graphics engine intended to be easy-to-use and offer high performance. Pogolyn also supports features for game development, such as animation, input device handling and sound playing.
Pogolyn is cross-platform and is known to run on the iPhone Toolchain, Windows, and Linux.
NOTE: Pogolyn is licensed, distributed and developed under the terms of the BSD License.

System requirements:
- iPhone

Enhancements
- Added support for iPhone toolchain 2.0 (contributed by Takuro Noda)
- Upgraded FreeType to version 2.3.8
- Upgraded libpng to version 1.2.35
- Added support for playing sounds on Linux (contributed by Akihiro Komori)
- Added the sample #11
- Changed pgReadLittleEndian and pgWriteLittleEndian
- Changed the sample #10
- Changed pgSndMgr and the sample #6
- Fixed a memory leak in pgMemMgr
- Added pgID_ macro
- Changed pgID
- Fixed the way to process events for Win32
- Fixed pgDraw:~pgDraw
- Added pgTex:GetProxyTextureID and pgTex:SetProxyTextureID
- Added pgstyle, a c++ code beautifier for Pogolyn
- Added pgCol:operator/ and pgCol:operator/=
- Added pgUtil:CalcNormalAsTriangles
- Removed pgRend_Light:CalcNormalAsTriangleStrip
- Changed pgRend_Light:CalcNormalAsTriangles
- Added pgUtil:Import3DS and pgUtil:Import3DSAs
- Added pgMdl, the model-drawing class
- Added pgMdlData, the model data class
- Added pgScr:GetFirstDrawN and pgScr:GetLastDrawN
- Added pgDraw:GetType

<<less
Download (10.6MB)
Added: 2009-03-01 License: Freeware Price: FREE
201 downloads
Tricia Prolog 0.9.5

Tricia Prolog 0.9.5


Tricia Prolog provides you a free but powerful Edinburgh-style Prolog developed by the ComputingScience Department at Uppsala University. more>>

Tricia Prolog 0.9.5 provides you a free but powerful Edinburgh-style Prolog developed by the ComputingScience Department at Uppsala University. It includes a high-levelemulator with interpreter. The Macintosh version includes only a basic console interface (i.e.,no fancy Macintosh interface).

Requirements: System 7 or higher3 MB RAM

<<less
Download (368.2KB)
Added: 2000-12-25 License: Freeware Price:
downloads
Logtalk 2.37.5

Logtalk 2.37.5


Logtalk brings you canvenience of using such an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. more>>

Logtalk 2.37.5 brings you canvenience of using such an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler.

As a multi-paradigm language, Logtalk includes support for both prototypes and classes, protocols (interfaces), component-based programming through category-based composition, event-driven programming, and high-level multi-threading programming.

Major Features:

  1. Separation between interface and implementation: Predicate directives (declarations) can be contained inside protocols (interfaces), which can be implemented by any object.
  2. Parametric objects: Object identifiers can be compound terms containing free variables that can be used to parametrize object predicates. This allows us to interpret predicate clauses as providing instantiations of a parametric object identifier. I.e. through parametric object we can associate any number of methods with a compound term.
  3. Support for both class-based and prototype-based systems: You may have, in the same application, class-based hierarchies (with instantiation and specialization relations) and prototype-based hierarchies (with extension relations). Moreover, fundamental language features such as protocols (interfaces) and categories (components) can be used simultaneously by classes, instances, and prototypes.
  4. Support for multiple object hierarchies: No need to be constrained to a single, lengthy hierarchy rooted in some generic object.
  5. Private, protected, and public inheritance: Logtalk supports private, protected, and public inheritance in a way similar to C++. Moreover, any entity relation can be qualified using a scope keyword. E.g. an object can privately implement a protocol, thus making all protocol declared predicates private.
  6. Private, protected, and public object predicates: Set the scope of your object predicates to match your protocol design and let the runtime system enforce your choices.
  7. Static and dynamic objects: Objects can be either static or dynamic. Static objects are defined in source files which are compiled and loaded in the same way as Prolog files. Dynamic object can be either defined in source files or created at runtime.
  8. Static and dynamic object predicates: Any static object may contain both static and dynamic predicates.
  9. Logtalk syntax extends standard Prolog syntax: Logtalk uses standard Prolog syntax with the addition of a few operators and directives for a smooth learning curve. Prolog code can be easily encapsulated inside objects with little or no changes. Moreover, Logtalk can transparently interpret most Prolog modules as Logtalk objects for easy reusing of existing code (e.g. libraries).
  10. Event-driven programming: Predicates can be implicitly called when a spied event occurs, allowing programming solutions which minimize object coupling. In addition, events provide support for behavioral reflection and can be used to implement the concepts of pointcut and advice found on Aspect-Oriented Programming.
  11. Component-based programming: Predicates can be encapsulated inside categories, which can be virtually imported by any object, without any code duplication and irrespective of object hierarchies. Thus, objects may be defined through composition of categories, which act as fine-grained units of code reuse. Categories may also extend existing objects. Categories can be used to implement aspects and mixin-like behavior without resorting to inheritance.
  12. Multi-threading programming: High level multi-threading programming is available when running Logtalk with selected back-end Prolog compilers, allowing objects to support both synchronous and asynchronous messages. Independent and-parallelism and competitive or-parallelism are also supported. Easily take advantage of modern multi-processor and multi-core computers without bothering with the details of creating and destroying threads, implement thread communication, or synchronizing threads.
  13. Multi-inheritance support: Logtalk supports multi-inheritance of both protocol and implementation. An object may implement several protocols and extend, specialize, or instantiate several objects. Multi-inheritance conflicts are solved implicitly by the Logtalk lookup algorithms or explicitly by using predicate directives.
  14. Good performance: Logtalk code is compiled using the same technics that you use to write efficient Prolog code. In addition, Logtalk supports both static binding and dynamic binding (with method lookup caching), greatly improving performance. Benchmark results for some Prolog compilers are available here.
  15. Close integration with the ISO Prolog Standard: Logtalk is designed for smooth integration with any Prolog compiler that conforms or closely follows the ISO Prolog Standard.
  16. Compatible with most Prolog compilers: Logtalk interfaces with a specific back-end Prolog compiler via a minimal configuration file making it compatible with almost any modern compiler.
  17. Automatic generation of XML documentation files: Logtalk automatically generates a documentation file in XML format for every compiled object, protocol, or category. The system includes all the necessary XSL(T) files and scripts to convert documenting files to (X)HTML and PDF.
  18. Dynamic language: Logtalk is a dynamic language that allows hierarchies, objects, protocols, categories, and methods (predicates) to be freely created and modified at runtime. Other dynamic language features include support for meta-programming and both structural and behavioral reflection.

Enhancements:

  • Updated the Logtalk multi-threading features, replacing all calls to the call_cleanup/2 built-in predicate with calls to the more reliable setup_call_cleanup/3 built-in predicate. This change requires recent versions of SWI-Prolog, XSB, and YAP when writing multi-threading code.
  • Improved performance of the database built-in methods retractall/1 and retract/1 whenever their use requires updating the internal predicate definition lookup tables.
  • Corrected a bug in the Logtalk runtime when printing a compatibility warning regarding the back-end Prolog compiler version being used.
  • Corrected a bug in the implementation of the :/1 control construct when some but not all imported categories are compiled for static binding.
  • Corrected a event handling bug in the processing of meta-calls whose meta-arguments have the format Object:Closure.
  • Corrected a bug in the runtime error handler for top-level message sending calls where the reported exception term context argument would be unbound.
  • Corrected a bug in the compilation of multifile directives and multifile predicate clauses within objects and categories for the pseudo-object
  • "user". Corrected a bug in the compilation of multifile predicate clauses for other objects and categories.
  • Corrected a safety meta-predicate compilation bug when using static binding to optimize a call to a local meta-predicate made by a normal, public predicate.
  • Corrected a safety meta-predicate compilation bug when using a meta-predicate call in the body of a user-defined meta-predicate clause in order to change the number of extra arguments of a closure.
  • Added a monitor/1 predicate to the library event registry objects. Updated the definition of the monitors/1 and monitored/1 predicates in order to avoid using the non-standard predicate sort/2.
  • Added support for adding the Logtalk mime-type to systems supporting the freedesktop.org shared mime-info database.
  • Added support for adding the Logtalk mime-type and the file description for Logtalk source files to the Windows installer.
  • Updated the RPM spec file and build script to no longer require root access. The RPM package built from these files is no longer relocatable.
  • Updated the POSIX (un)install shell scripts to print the version number of the Logtalk release being (un)installed.
  • Updated the "lgt2pdf.sh" and "lgt2txt.sh" POSIX shell scripts in order to prevent accidental deletion of the "logtal.dtd" and "logtalk.xsd" files in the Logtalk installation directory. Thanks to Michael Igler for the bug report.
  • Added information about using the Sublime Text Windows text editor for editing Logtalk source files.
  • Added a set of Logtalk source code snippets and a set of compilation and documenting tools for the Gnome's Gedit text editor (see the file "wenv/gedit/NOTES.txt" for details).
  • Replaced GeSHi support with a new language file written from scratch. Added syntax coloring support for the module directive reexport/1 to all supported text editors and syntax highlighters.
  • Updated documentation in order to remove references to deprecated syntax for sequences of predicate indicators in predicate directives. Updated documentation on built-in meta-predicates to correctly described their semantics when used within categories.
  • Added a simple example, "multifile", illustrating how to use multifile predicates within Logtalk objects and categories.
  • Updated the "securemp" example in order to illustrate using a call to a meta-predicate to change the number of extra arguments of a closure.

Requirements:

  • Compatible Prolog compiler.
<<less
Download (704.4KB)
Added: 2009-10-28 License: Freeware Price: Notavailable
downloads
 
Other version of Logtalk
Logtalk 2.37.4source files which are compiled and loaded in the same way as Prolog files. Dynamic object can be ... Logtalk syntax extends standard Prolog syntax: Logtalk uses standard Prolog syntax with the
Price: Notavailable
License:Freeware
Download (695.1KB)
downloads
Added: 2009-09-16
Price: $0.00
License:Freeware
Download (693.3KB)
downloads
Added: 2009-08-09
Logtalk 2.37.2logic programming language that can use most Prolog implementations as a back-end compiler ... language that can use most Prolog implementations as a back-end compiler. As a multi-paradigm
License:Freeware
Download (691.4KB)
downloads
Added: 2009-06-28
Logtalk 2.37.1Source object-oriented logic programming language that can use most Prolog implementations ... source files which are compiled and loaded in the same way as Prolog files. Dynamic object can be
Price: FREE
License:Freeware
Download (686KB)
206 downloads
Added: 2009-06-03
Logtalk 2.37.0logic programming language that can use most Prolog implementations as a back-end compiler ... Prolog implementations as a back-end compiler. As a multi-paradigm language,
License:Freeware
Download (675.8KB)
downloads
Added: 2009-05-11
Zipeg 2.7.0

Zipeg 2.7.0


Zip, rar archives browser & extractor. more>>

Zipeg 2.7.0 is a flexible and powerful tool which allows you to open and explore content of zip, rar and other archives, preview files and images before you extract/unzip them.

Extract only the files you want. Zip thru photo archives. See image thumbnails. Zipeg allows you to decide what do you want to extract. You can choose what to extract and where to put extracted files or just drag and drop them.

Major Features:

  1. Supports wide variety of archive formats: ZIP, RAR, ARJ, LHA/LZH, 7z, TAR, GZ, TGZ, BZIP2, CPIO, RPM, ISO, CHM, Z, CBR, CBZ, WAR, EAR...
  2. Allows to see what's inside archive BEFORE extracting files;
  3. Opens files in Preview or any other associated application directly from the archive;
  4. Displays image thumbnails (EXIF) in tooltips;
  5. Extracts/unzips items simply by dragging them;
  6. Easy-to-use user interface;
  7. Resource fork, file permissions and Finder attributes support for Mac OSX;
  8. Supports filenames in national alphabets in UTF-8, Unicode and codepage encodings;
  9. Processes archives in background;
  10. Does not have any archive size limitations;
  11. Allows to explore CD and DVD ".iso" image files;
  12. Reports cumulative contents size of subfolders;
  13. Gives fine control over customizable destination of extraction;
  14. Automatically opens nested archives;
  15. Opens archives via file types associations;
  16. Provides `path completion` for destination folders;
  17. Sorts content of folders by name, size or date;
  18. Automatically checks for latest updates;
  19. Universal binaries for Apple Macintosh OS X;
  20. Full Mac OSX and Windows XP/Vista support;
  21. Build on top of powerful 7zip engine;
<<less
Download (2.1MB)
Added: 2009-06-02 License: Freeware Price:
315 downloads
PTHVolume 1.7.0

PTHVolume 1.7.0


PTHVolume is a Menu Bar volume controller for OS X more>>
PTHVolume is a very simple menu bar volume controller for OS X. Clicking on its icon will show you a volume slider and a mute button, clicking on another app causes these controls to hide. Right clicking on it will toggle mute. It does not show up in the dock.
Enhancements:
- Version for 10.3.x
- Fixed Problem where HotKeys would get confused fixed
- Auto Update will now auto install
- Added Send Bug Report menu item.
<<less
Download (355KB)
Added: 2006-10-05 License: Freeware Price:
1124 downloads
QTP7Controller 0.7.0

QTP7Controller 0.7.0


QTP7Controller provides you with a free helper utility designed for smart edit operation via QuickTime Player 7 Pro more>>

QTP7Controller 0.7.0 provides you with a free helper utility designed for smart edit operation via QuickTime Player 7 Pro

Enahancements:

  • Accept D&D onto App Icon. Accept Alias/SymLink files. Add some menus. Add window switching.

Requirements:

  • MacOS X 10.6.1 + QuickTime 7.6.3
<<less
Download (162.2KB)
Added: 2009-10-11 License: Freeware Price: Notavailable
downloads
GFP 0.7.0

GFP 0.7.0


GFP - Personal Finance Manager more>>
GFP is a Free Open Source Personal Finance Manager in Java/Swing that can run on virtually any Operating System.

Its designed to people with few financial knowledge to be helped on managing their finances. It’s translated to 9 languages.
<<less
Download (2.2MB)
Added: 2007-02-14 License: GPL Price:
983 downloads
ZConfig 2.7.0

ZConfig 2.7.0


A free schema-driven configuration library intended for general use more>> <<less
Download (246KB)
Added: 2009-06-15 License: Freeware Price: FREE
14 downloads
collectd 4.7.0

collectd 4.7.0


System statistics collection daemon more>> System statistics collection daemon

collectd is a small daemon which collects system performance statistics periodically and provides mechanisms to store the values in a variety of ways, for example in RRD-files.
collectd gathers information about the system it is running on and stores this information.
The information can then be used to predict future system load (i. e. capacity planning) or to find current performance bottlenecks (i. e. performance analysis) and .
Or if you just want pretty graphs of your private server and are fed up with some homegrown solution youre at the right place, too.
While collectd can do a lot for you and your administrative needs, there are limits to what it does:
- It does not generate graphs. It can write to RRD-files, but it cannot generate graphs from these files. Theres a tiny sample script included in contrib/, though. Also you can have a look at drraw for a generic solution to generate graphs from RRD-files.
- It does not do monitoring. The data is collected and stored, but not interpreted and acted upon. Theres a plugin for Nagios, so it can use the values collected by collectd, though.
Plugins currently available:
- Apache
- APC UPS
- Apple Sensors
- Battery
- CPU
- CPUFreq
- CSV (output)
- df
- Disk
- DNS
- E-Mail (manpage)
- Entropy
- Exec (manpage)
- hddtemp
- Interface
- IP-Tables
- IRQs
- Load
- LogFile (logging)
- mbmon
- Memory
- Multimeter
- MySQL
- Netlink
- Network (input / output)
- NFS
- NTPd
- NUT
- Perl (experimental, manpage)
- Ping
- Processes
- Sensors
- Serial
- SNMP (manpage)
- Swap
- SysLog (logging)
- Tape
- UnixSock (manpage)
- Users
- VServer
- Wireless
- XMMS

Enhancements
- The abilty to sign or encrypt network traffic has been added to the network plug-in. A new plug-in embeds a Java VM that allows you to load and run plug-ins written in Java.... Other new plug-ins allow the daemon to collect the size of the connection tracking table under Linux, details about the FS-Cache feature of Linux 2.6.30, detailed network protocol data, and power consumption via T.E.D. devices. The new memcachec plug-in parses data fetched from a memcached server. Ganglia interoperability has been added. Statistics collected by the MySQL plug-in have been extended

<<less
Download (1.2MB)
Added: 2009-05-18 License: GPL Price: FREE
199 downloads
AirTalkr 0.7.0

AirTalkr 0.7.0


Free AIR-based instant messenger application for your Mac more>> Free AIR-based instant messenger application for your Mac

AirTalkr is an instant messenger program that can connect to MSN, Yahoo!, ICQ, GTalk, AIM, Flickr, YouTube, Blog, RSS, MySpace, Friendster and Twitter.

System requirements:
- Adobe AIR

<<less
Download (1.4MB)
Added: 2008-11-13 License: Freeware Price: FREE
242 downloads
Apple iDVD 7.0

Apple iDVD 7.0


Apple iDVD - Enhances burning process more>>
Author and burn movies, photos, and music to widescreen DVD. From instant gratification with Magic iDVD to next-generation themes, iDVD 6 makes it easy. And to answer one burning question, iDVD now works with an array of third-party DVD burners.

There is no easier way to create DVDs and share your photos, movies and music with friends, family, classmates and colleagues than with iDVD.

From Hollywood-style home videos to multimedia wedding albums to professional slideshow portfolios, iDVD 6 helps you realize that burning ambition to share your movies and photos on DVD.

And not just any DVD, mind you. A jaw-dropping widescreen DVD with coordinated menus and ambient audio. A DVD with thoroughly professional polish. A DVD so captivating, it will make everyone’s must-see list.

<<less
Download (5.8MB)
Added: 2007-08-11 License: Freeware Price:
726 downloads
Secleted [ 0 ] software to compare
  • Page: 1 of 5
  • 1
  • 2
  • 3
  • 4
  • 5