Index: IF Computer

v5.0 Manuals IFProlog
v5.3 Manuals IFProlog
!(Cut)/0 logic_and_control Predicates Reference Manual MINERVA
!(カット) reference v4.1 Manuals IFProlog
"cpro.h"に定義されたマクロ libft hostli advanced_feature v4.1 Manuals IFProlog
# append reference v4.1 Manuals IFProlog
# for reference v4.1 Manuals IFProlog
# isop compaintro reference v4.1 Manuals IFProlog
# member reference v4.1 Manuals IFProlog
# prolog_flag reference v4.1 Manuals IFProlog
# repeat reference v4.1 Manuals IFProlog
#bagof, #setof reference v4.1 Manuals IFProlog
#clause, #clause_term reference v4.1 Manuals IFProlog
#current_predicate, #current_atom, current_language reference v4.1 Manuals IFProlog
#retract reference v4.1 Manuals IFProlog
','(Conjunction)/2 logic_and_control Predicates Reference Manual MINERVA
';'(Disjunction)/2 logic_and_control Predicates Reference Manual MINERVA
';'(If-then-else)/2 logic_and_control Predicates Reference Manual MINERVA
'Edit'プルダウン pulldown command x_dev_environment v4.1 Manuals IFProlog
'File'プルダウン pulldown command x_dev_environment v4.1 Manuals IFProlog
'Help'プルダウン pulldown command x_dev_environment v4.1 Manuals IFProlog
'Manual'プルダウン pulldown command x_dev_environment v4.1 Manuals IFProlog
'User'プルダウン pulldown command x_dev_environment v4.1 Manuals IFProlog
'View'プルダウン pulldown command x_dev_environment v4.1 Manuals IFProlog
'\+'/1 logic_and_control Predicates Reference Manual MINERVA
->(If-then)/2 logic_and_control Predicates Reference Manual MINERVA
00-04-16 inap@ifcomputer.co.jp News
02-01-17 Inference for the Semantic Web News
02-01-17 BotSpot News
02-02-01 Information System Award by Nikkei Computer News
02-04-12 Medical Information System News
03-03-03 Web Knowledge Management Book News
2000-04-30 inap2k News
2000-11-13 Online Shop News
2001-03-05 MINERVA 2.2 Released News
2001-05-07 MINERVA Manual in PDF News
2001-05-08 INAP2001 News
2001-06-26 IF/Prolog V5.3 for Windows released News
2001-10-01 Selling Commercial Video Clips News
2001-10-15 Driving JADE Agents News
2002-03-20 MINERVA 2.3 Released News
2003-02-28 MINERVA 2.4 Released News
2003-07-10 Decorative Items News
2003-08-08 INAP2004 News
2003-09-01 Self Service Consulting News
2005-06-01 INAP2005 News
2006-01-10 wadokujt.w3dict.com News
2006-03-06 Language Portal Workshop News
2006-11-01 Goodbye Fax News
2007-03-04 INAP2007 News
2007-06-08 Server break-in attacker IP numbers News
2007-07-10 Natural Building Business School News
95-05-01 PAP'95 Proceedings News
95-06-01 Network Management News
95-06-01 Pension Calculation & Valuation News
95-06-08 ICLP'95 News
95-09-13 SOR'95 News
95-10-01 Auftragsbearbeitung bei HP News
95-10-01 Autonome Agenten News
95-10-01 Freeware Lizenz News
95-10-01 IF Computer on the Net News
95-10-01 IF/Prolog 4.1 HTML Manual (Only in Japanese) News
95-10-01 Schaltkreis-Verifikation News
95-10-19 INAP'95 News
95-10-19 INAP'95 Program News
95-12-06 UNIX Fair'95 News
96-01-01 Anwendungen ?er das Netz News
96-01-01 Call for Papers: INAP'96 News
96-01-01 Energie-Verteilungssystem News
96-01-01 INCOME - Optimierung von Gesch News
96-02-01 IF/Prolog auf IBMs SP-2 News
96-04-22 PAP'96 News
96-05-01 IF/Prolog konfiguriert Ihr Nokia Handy News
96-05-01 Logtalk for IF/Prolog 5.0 News
96-05-01 MIKE f? IF/Prolog 5.0 News
96-05-01 PAP/PACT/PAAM 96 Proceedings News
96-05-09 ASTAP-Tag: Transport News
96-05-10 IF/Prolog User Day News
96-05-21 IS&AAI'96 News
96-06-04 IEA/AIE-96 News
96-07-25 JSAI Conference News
96-08-01 Design-Unterst ?zung News
96-08-01 Toyota: FEM mit KI News
96-09-02 JICSLP96 News
96-09-04 SOR96 News
96-10-16 INAP'96 News
96-11-01 IF/Tutorials in 97 News
96-11-01 Network-wide Management News
96-11-01 Search & Solve Promotion News
96-12-16 Expert Systems '96 News
96-12-19 Logic Programming and the Internet Opportunities and Challenges A Compulog Net Workshop News
97-05-01 MINERVA News
97-07-08 ICLP'97 News
97-08-26 IJCAI'97, News
97-10-07 INAP'97 News
97-10-29 CP'97 News
97-11-15 Serving the Service Industry News
97-12-25 Intelligent CAD News
98-02-01 Internet Courseware News
98-02-01 MINERVA 1.1 released News
98-02-01 Mapping the Human Genome News
98-03-23 PAP,PACT,PAAM, PAAD'98 News
98-10-01 MINERVA 1.3 Released News
98-12-15 INAP'98 Proceedings News
99-02-01 El-Al Aircraft Assignment News
99-02-01 IF Computer Asia goes online News
99-02-01 IF/Prolog V5.1 released News
99-04-09 MINERVA 2.0 Released News
99-04-19 PA Expo '99 News
99-04-23 HealthCareSupport News
99-04-23 Spectacles Design News
99-04-27 Online Timetabling News
99-05-01 IF/Prolog V5.0B auf UNIX News
99-07-31 IJCAI'99 News
99-09-03 INAP'99 News
99-10-24 IF/Prolog V5.2A for Windows released News
99-10-28 MINERVA 2.1 Released News
99-10-28 MasterPiece News
99-12-01 Rightsizing Air Conditioner Design News
99-12-16 Natural Language Dialog News
:- dynamic compaintro reference v4.1 Manuals IFProlog
:- nonotify, nonotify reference v4.1 Manuals IFProlog
:- private, :- public compaintro reference v4.1 Manuals IFProlog
::(Apply)/2 logic_and_control Predicates Reference Manual MINERVA
<-(Eval)/2 logic_and_control Predicates Reference Manual MINERVA
=../2 term_creat_decomp Predicates Reference Manual MINERVA
=/2 term_unification Predicates Reference Manual MINERVA
=:=/2, =\=/2, >/2, >=/2, </2, =</2 arithm_comp Predicates Reference Manual MINERVA
==/2, \==/2, @</2, @=</2, @>/2, @>=/2 term_comp Predicates Reference Manual MINERVA
?- export, ?- common, ?- import, ?-hidden reference v4.1 Manuals IFProlog
?- module, ?- module_body reference v4.1 Manuals IFProlog
?複合項 =.. -Univリスト, -複合項 =.. ?Univリスト reference v4.1 Manuals IFProlog
?項1 = ?項2, +項1 \= +項2 reference v4.1 Manuals IFProlog
A single applet for a whole web site? FAQ MINERVA
ASCII文字 reference v4.1 Manuals IFProlog
All Solutions Predicates Reference Manual MINERVA
Applet vs Application FAQ MINERVA
Applet without GUI? FAQ MINERVA
AppletLoadsFile MinervaFeatures ExamplePrograms MINERVA
Application Areas Constraints IFProlog
Application Areas Overview MINERVA
Applications ExamplePrograms MINERVA
Applications based on IF/Prolog IFProlog
Arithmetic MinervaFeatures ExamplePrograms MINERVA
Arithmetic Reference Manual MINERVA
Arithmetic comparison Predicates Reference Manual MINERVA
Arithmetic evaluation Predicates Reference Manual MINERVA
ArthurAndersen Testimonials Showcase MINERVA
Ascii テキストwidget athenause athena advanced_feature v4.1 Manuals IFProlog
Asynchronous timer handling Predicates Reference Manual MINERVA
Athena インタフェースマニュアル advanced_feature v4.1 Manuals IFProlog
Athenaバージョンのウィジェット階層 hierarchies configure x_dev_environment v4.1 Manuals IFProlog
Atomic term processing Predicates Reference Manual MINERVA
Before You Start Installation Manual MINERVA
Benchmarks ExamplePrograms MINERVA
BinaryIO Predicates Reference Manual MINERVA
Blackboards Predicates Reference Manual MINERVA
Books OtherResources MINERVA
Brightest Testimonials Showcase MINERVA
Brillen Design Applications IFProlog
Browsers OtherResources MINERVA
Bugs Restrictions Reference Manual MINERVA
BusinessAreas Consulting
Byte input/output Bugs Restrictions Reference Manual MINERVA
CAD data exchange and processing with STEP/Express ISO-10303-21 Applications ExamplePrograms MINERVA
CGI-BIN Programming Needed? FAQ MINERVA
COBOL Maintenance Applications IFProlog
CORBA Extensions ExamplePrograms MINERVA
Calculator Applications ExamplePrograms MINERVA
Chain Store Management Solutions Showcase MINERVA
Character input/output Predicates Reference Manual MINERVA
Circuit Verification Applications IFProlog
CircuitAnalysis Applications ExamplePrograms MINERVA
Clause creation and destruction Predicates Reference Manual MINERVA
Clause retrieval and information Predicates Reference Manual MINERVA
Client-Server with Sockets MinervaFeatures ExamplePrograms MINERVA
Clients Companies
Clients Consulting
Communication between distributed Minerva processes. Predicates Reference Manual MINERVA
Compilation Predicates Reference Manual MINERVA
Conferences OtherResources MINERVA
Confidence Tests Installation Manual MINERVA
Configuring Your Nokia Mobile Phone Applications IFProlog
Constraint Technology Package IFProlog
Constraints MinervaFeatures ExamplePrograms MINERVA
Constraints Predicates Reference Manual MINERVA
Consultants OtherResources MINERVA
Consulting
Control for Shield Tunneling Applications IFProlog
ConvertGui Applications ExamplePrograms MINERVA
Custom Design ApplicationAreas Overview MINERVA
CからIF/Prologへのインタフェースの使用 hostli advanced_feature v4.1 Manuals IFProlog
C言語からIF/Prologへのインタフェ−ス advanced_feature v4.1 Manuals IFProlog
C言語によるコル−チンの実現 cpredbw c_interface advanced_feature v4.1 Manuals IFProlog
C言語のクラスパラメータ impextf incneww adwidget motifext osf_motif advanced_feature v4.1 Manuals IFProlog
C述語ためのコンパイルとリンク cpredw c_interface advanced_feature v4.1 Manuals IFProlog
C述語に対するクラス引数 impextf adwidget xext athena advanced_feature v4.1 Manuals IFProlog
C述語のMifprologへの追加 motifext osf_motif advanced_feature v4.1 Manuals IFProlog
C述語のXifprologへの追加 xext athena advanced_feature v4.1 Manuals IFProlog
C関数とIF/Prologを接続する関数 summ libfunc c_interface advanced_feature v4.1 Manuals IFProlog
C関数のIF/PrologのC述語への変換 cpredw c_interface advanced_feature v4.1 Manuals IFProlog
C関数の記述 attach c_gen c_interface advanced_feature v4.1 Manuals IFProlog
C関数をつける c_gen c_interface advanced_feature v4.1 Manuals IFProlog
Data Companies
Database-JDBC Extensions ExamplePrograms MINERVA
DatabaseConnectivity FAQ MINERVA
Date MinervaFeatures ExamplePrograms MINERVA
Debugger MinervaFeatures ExamplePrograms MINERVA
Debugger Reference Manual MINERVA
Design Computation Applications IFProlog
Destinationウィジェット osfext osf_motif advanced_feature v4.1 Manuals IFProlog
Developed By? FAQ MINERVA
Development Environment? FAQ MINERVA
Development Licence Licencing IFProlog
DialogEngines
Directives MinervaFeatures ExamplePrograms MINERVA
Directives Reference Manual MINERVA
DistanceLearning ApplicationAreas Overview MINERVA
Document Management Solutions Showcase MINERVA
Download MINERVA
EMACSインタフェースのインストール emacs advanced_feature v4.1 Manuals IFProlog
EMACSインタフェースマニュアル advanced_feature v4.1 Manuals IFProlog
Edutella Testimonials Showcase MINERVA
El-Al Aircraft Assignment Applications IFProlog
Eliza Applications ExamplePrograms MINERVA
Emacsでのedit/[01]或はcorrect/0メカニズムの使用 cmd emacs advanced_feature v4.1 Manuals IFProlog
Embedded? FAQ MINERVA
Error Messages Reference Manual MINERVA
Example Programs Constraints IFProlog
Example Programs MINERVA
ExecProcess MinervaFeatures ExamplePrograms MINERVA
ExecProcess_2 MinervaFeatures ExamplePrograms MINERVA
Extensions ExamplePrograms MINERVA
FAQ MINERVA
FE Mesh Generation System Applications IFProlog
FORTRANからIF/Prologへの変換例 gks advanced_feature v4.1 Manuals IFProlog
FORTRANとIF/Prologの間の引数のやりとり libfun intro fortran advanced_feature v4.1 Manuals IFProlog
FORTRANの関数とIF/Prologの結合 libfun intro fortran advanced_feature v4.1 Manuals IFProlog
FORTRANインタフェースマニュアル advanced_feature v4.1 Manuals IFProlog
Farmland Management ExamplePrograms Constraints IFProlog
File From Server MinervaFeatures ExamplePrograms MINERVA
File Names Reference Manual MINERVA
File_stream定義を試す strint c_interface advanced_feature v4.1 Manuals IFProlog
FranchiseEngine
Functions Reference Manual MINERVA
Further Explanations Installation Unix Install v5.0 Manuals IFProlog
Future Road Map Overview MINERVA
GCの記憶と再呼び出し extfunc drawW athena advanced_feature v4.1 Manuals IFProlog
GCの記憶と再呼び出し extfunc drawW osf_motif advanced_feature v4.1 Manuals IFProlog
GCを変更するオペレ−ション extfunc drawW athena advanced_feature v4.1 Manuals IFProlog
GCを変更するオペレ−ション extfunc drawW osf_motif advanced_feature v4.1 Manuals IFProlog
GKSPROLOGのインストール gks advanced_feature v4.1 Manuals IFProlog
GKSPROLOGの使用 gks advanced_feature v4.1 Manuals IFProlog
GKSPROLOGマニュアル advanced_feature v4.1 Manuals IFProlog
GUI MinervaFeatures ExamplePrograms MINERVA
GUI-AWT Extensions ExamplePrograms MINERVA
GUI-Swing Extensions ExamplePrograms MINERVA
Gadget motifW osf_motif advanced_feature v4.1 Manuals IFProlog
Gasoline Wholesale Applications IFProlog
GetURL MinervaFeatures ExamplePrograms MINERVA
Getting your licence information Windows Install v5.0 Manuals IFProlog
Goban Applications ExamplePrograms MINERVA
Grammar rules Predicates Reference Manual MINERVA
Gui Image MinervaFeatures ExamplePrograms MINERVA
Gui Programming Reference Manual MINERVA
GuiEvents MinervaFeatures ExamplePrograms MINERVA
HPレーザージェットエミュレーション source_format hyperW athena advanced_feature v4.1 Manuals IFProlog
HPレーザージェットエミュレーション source_format hyperW osf_motif advanced_feature v4.1 Manuals IFProlog
Health Care Support Applications IFProlog
HelloWorld MinervaFeatures ExamplePrograms MINERVA
Help Desk ApplicationAreas Overview MINERVA
High Level MinervaToJavaInterface Reference Manual MINERVA
Hyper Widget athena advanced_feature v4.1 Manuals IFProlog
Hyper Widget osf_motif advanced_feature v4.1 Manuals IFProlog
Hyper Widgetクラスにより追加された新しいリソース hyperW athena advanced_feature v4.1 Manuals IFProlog
Hyper Widgetクラスにより追加された新しいリソース hyperW osf_motif advanced_feature v4.1 Manuals IFProlog
IF Computer
IF Computer Overview MINERVA
IF/Projekte - Fahrplangestaltung eines Hauptbahnhof Applications IFProlog
IF/Prolog
IF/Prolog X11.4の述語一覧（機能別） xindex athena advanced_feature v4.1 Manuals IFProlog
IF/Prolog 4.0のレリースノート introduction v4.1 Manuals IFProlog
IF/Prolog 4.1 レリースノート introduction v4.1 Manuals IFProlog
IF/Prolog 5.x f? MS-Windows Specifications IFProlog
IF/Prolog 5.x f? UNIX Specifications IFProlog
IF/Prolog Interfaces v4.1 Manuals IFProlog
IF/Prolog V4.1 マニュアル Manuals IFProlog
IF/Prolog V4.1 レファレンスマニュアル v4.1 Manuals IFProlog
IF/Prolog V5.0 Manual Manuals IFProlog
IF/Prolog V5.1 Manual Manuals IFProlog
IF/Prolog V5.2 Manual Manuals IFProlog
IF/Prolog V5.3 Manual Manuals IFProlog
IF/Prolog X11.4の述語一覧（アルファベット順） xindex athena advanced_feature v4.1 Manuals IFProlog
IF/Prolog ストリーム ・インタフェース c_interface advanced_feature v4.1 Manuals IFProlog
IF/Prolog マニュアル introduction v4.1 Manuals IFProlog
IF/Prolog-X11.3へのWidgetsの追加 xext athena advanced_feature v4.1 Manuals IFProlog
IF/PrologV5.x ?erblick Specifications IFProlog
IF/PrologからC言語へのインタフェ−ス advanced_feature v4.1 Manuals IFProlog
IF/Prologからのストリームの使用 strint c_interface advanced_feature v4.1 Manuals IFProlog
IF/PrologからのダイナミックSQLコマンドの使い方 sql advanced_feature v4.1 Manuals IFProlog
IF/PrologとC関数とのリンク attach c_gen c_interface advanced_feature v4.1 Manuals IFProlog
IF/Prologとは... user_guide v4.1 Manuals IFProlog
IF/Prologにおけるモジュール module user_guide v4.1 Manuals IFProlog
IF/Prologによってサポートされるコル−チン cpredbw c_interface advanced_feature v4.1 Manuals IFProlog
IF/PrologのX開発環境 v4.1 Manuals IFProlog
IF/Prologのための「埋め込みSQL」インタフェース sql advanced_feature v4.1 Manuals IFProlog
IF/Prologのメインル−プのシュミレ−ト examp hostli advanced_feature v4.1 Manuals IFProlog
IF/Prologのメインル−プのシュミレ−ト examp hostli advanced_feature v4.1 Manuals IFProlog
IF/Prologの出力先 command x_dev_environment v4.1 Manuals IFProlog
IF/Prologの終了 prepare user_guide v4.1 Manuals IFProlog
IF/Prologの起動 prepare user_guide v4.1 Manuals IFProlog
IF/Prologの述語 drawW athena advanced_feature v4.1 Manuals IFProlog
IF/Prologの述語 drawW osf_motif advanced_feature v4.1 Manuals IFProlog
IF/Prologウインドウ・デバッガ x_dev_environment v4.1 Manuals IFProlog
IF/Prologコンパイラの使用 user_guide v4.1 Manuals IFProlog
IF/Prologソフトウェア/マニュアル 問題レポート introduction v4.1 Manuals IFProlog
IF/Prologユーザに合わせたコマンド emacs advanced_feature v4.1 Manuals IFProlog
IF/Prologレファレンスマニュアルの使い方 intro reference v4.1 Manuals IFProlog
IF/Prolog述語 hyperW athena advanced_feature v4.1 Manuals IFProlog
IF/Prolog述語 hyperW osf_motif advanced_feature v4.1 Manuals IFProlog
IF/SQL述語レファレンス sql advanced_feature v4.1 Manuals IFProlog
ISO13211 Restrictions Reference Manual MINERVA
ISOengines
Icons Installation Manual MINERVA
Implementation Limits Restrictions Reference Manual MINERVA
InitProlog, InitParms, EndProlog libft hostli advanced_feature v4.1 Manuals IFProlog
Installation Unix Install v5.0 Manuals IFProlog
Installation Manual MINERVA
Installation Guide v5.0 Manuals IFProlog
Installation from a local tape drive Installation Unix Install v5.0 Manuals IFProlog
Installation of compressed files Installation Unix Install v5.0 Manuals IFProlog
Installation over a network connection from a remote host Installation Unix Install v5.0 Manuals IFProlog
Installing IF/Prolog under Unix Install v5.0 Manuals IFProlog
Installing Win32S for Windows 3.x Windows Install v5.0 Manuals IFProlog
Intelligent Forms ApplicationAreas Overview MINERVA
Interactive MinervaFeatures ExamplePrograms MINERVA
Internationalization MinervaFeatures ExamplePrograms MINERVA
Internationalization Reference Manual MINERVA
Interpreter? FAQ MINERVA
Invocation Reference Manual MINERVA
JDBC MinervaFeatures ExamplePrograms MINERVA
JNI access? FAQ MINERVA
JP Extensions ExamplePrograms MINERVA
JVC Testimonials Showcase MINERVA
Japanese Support? FAQ MINERVA
Java Applet Uses Minerva MinervaFeatures ExamplePrograms MINERVA
Java Prolog Overview MINERVA
Java to MINERVA Interface Reference Manual MINERVA
JavaArrays MinervaFeatures ExamplePrograms MINERVA
JavaBeans Support? FAQ MINERVA
JavaToMinerva_1 MinervaFeatures ExamplePrograms MINERVA
JavaToMinerva_2 MinervaFeatures ExamplePrograms MINERVA
JavaToMinerva_3 MinervaFeatures ExamplePrograms MINERVA
JavaToMinerva_4 MinervaFeatures ExamplePrograms MINERVA
JavaToMinerva_5 MinervaFeatures ExamplePrograms MINERVA
JavaToMinerva_6 MinervaFeatures ExamplePrograms MINERVA
Javas OtherResources MINERVA
JigsawPuzzle Applications ExamplePrograms MINERVA
Job-Shop Scheduling I ExamplePrograms Constraints IFProlog
Job-Shop Scheduling II ExamplePrograms Constraints IFProlog
Konfiguration von Telefonanlagen Applications IFProlog
Kontrolle der Umweltfaktoren eines Flughafens Applications IFProlog
Kundensupport-Center Applications IFProlog
Licences for Various Purposes IFProlog
Licensing Unix Install v5.0 Manuals IFProlog
Licensing MINERVA
Life Insurance ApplicationAreas Overview MINERVA
Life Insurance Solutions Showcase MINERVA
Lists Predicates Reference Manual MINERVA
Local Configuration Installation Manual MINERVA
Logic and control Predicates Reference Manual MINERVA
MINERVA
MINERVA Evaluation Licence Licensing MINERVA
MINERVA Features ExamplePrograms MINERVA
MINERVA Internet Site Licence Licensing MINERVA
MINERVA Intranet Site Licence Licensing MINERVA
MINERVA OEM Licence Licensing MINERVA
MINERVA Server Licence Licensing MINERVA
MINERVA Standalone Licence Licensing MINERVA
MINERVA to Java Interface Reference Manual MINERVA
MINERVA1.0 ReleaseNotes Manual MINERVA
MINERVA1.1 ReleaseNotes Manual MINERVA
MINERVA1.2 ReleaseNotes Manual MINERVA
MINERVA1.3 ReleaseNotes Manual MINERVA
MINERVA2.0 ReleaseNotes Manual MINERVA
MINERVA2.1 ReleaseNotes Manual MINERVA
MINERVA2.2 ReleaseNotes Manual MINERVA
MINERVA2.3 ReleaseNotes Manual MINERVA
MINERVA2.4 ReleaseNotes Manual MINERVA
Machine Dependencies? FAQ MINERVA
Maintenance Agreement Licencing IFProlog
Management Companies
Manual MINERVA
Manuals IFProlog
Mapping the Human Genome Applications IFProlog
Memory requirements Unix Install v5.0 Manuals IFProlog
Methods Consulting
MinervaToJava MinervaFeatures ExamplePrograms MINERVA
MinervaToJavaScript MinervaFeatures ExamplePrograms MINERVA
MinervaToJava_1 MinervaFeatures ExamplePrograms MINERVA
MinervaToJava_2 MinervaFeatures ExamplePrograms MINERVA
MinervaToJava_3 MinervaFeatures ExamplePrograms MINERVA
MinervaToJava_4 MinervaFeatures ExamplePrograms MINERVA
Miscellaneous extfunc drawW athena advanced_feature v4.1 Manuals IFProlog
Miscellaneous xtprog athena advanced_feature v4.1 Manuals IFProlog
Miscellaneous extfunc drawW osf_motif advanced_feature v4.1 Manuals IFProlog
Miscellaneous motifprog osf_motif advanced_feature v4.1 Manuals IFProlog
Motif IF/Prologの拡張 osf_motif advanced_feature v4.1 Manuals IFProlog
Motif IF/PrologへのWidgetsの追加 motifext osf_motif advanced_feature v4.1 Manuals IFProlog
Motifのバージョン osfext osf_motif advanced_feature v4.1 Manuals IFProlog
Motifウインドウマネージャとの対話 osfext osf_motif advanced_feature v4.1 Manuals IFProlog
MrPandMrS Benchmarks ExamplePrograms MINERVA
Multiple Applets? FAQ MINERVA
Multiple Threads? FAQ MINERVA
NEC Testimonials Showcase MINERVA
Network Management Applications IFProlog
Network-wide Management Applications IFProlog
News
ORACLE インタフェースマニュアル advanced_feature v4.1 Manuals IFProlog
OSF/Motif Widgetsの使用方法 osf_motif advanced_feature v4.1 Manuals IFProlog
OSF/Motifによるプログラミング osf_motif advanced_feature v4.1 Manuals IFProlog
OSF/Motifのカットアンドペースト機能 osfext osf_motif advanced_feature v4.1 Manuals IFProlog
OSF/Motifインタフェース rel4.0 introduction v4.1 Manuals IFProlog
OSF/Motifインタフェースマニュアル advanced_feature v4.1 Manuals IFProlog
OSF/Motifクリップボードに対するデータ形式 motifext osf_motif advanced_feature v4.1 Manuals IFProlog
OSF/Motifバージョンでのウィジェット階層 hierarchies configure x_dev_environment v4.1 Manuals IFProlog
Object Oriented? FAQ MINERVA
Objects Reference Manual MINERVA
Oil Field Risk Analysis Applications IFProlog
Online Timetabling Applications IFProlog
Opaque Widgetクラスとシェルクラス xtprog athena advanced_feature v4.1 Manuals IFProlog
Opaque Widgetクラスとシェルクラス motifprog osf_motif advanced_feature v4.1 Manuals IFProlog
Optimizing Business Processes Applications IFProlog
Oracleインタフェースの述語 oracle advanced_feature v4.1 Manuals IFProlog
Oracleコマンドを含んだプログラム例 oracle advanced_feature v4.1 Manuals IFProlog
Order Clearing Applications IFProlog
Organizations OtherResources MINERVA
Othello Applications ExamplePrograms MINERVA
Other Resources MINERVA
Overview MINERVA
PRESCRIBE source_format hyperW athena advanced_feature v4.1 Manuals IFProlog
PRESCRIBE source_format hyperW osf_motif advanced_feature v4.1 Manuals IFProlog
Package: gui GuiProgramming Reference Manual MINERVA
Package: guibuilder GuiProgramming Reference Manual MINERVA
Packages Reference Manual MINERVA
Parallel Processes? FAQ MINERVA
ParisMiki Testimonials Showcase MINERVA
ParseProlog libft hostli advanced_feature v4.1 Manuals IFProlog
Partners Companies
Pension Calculation & Valuation Applications IFProlog
Performance Overview MINERVA
Platforms Overview MINERVA
Polymer Design Applications IFProlog
Portfolio Management ExamplePrograms Constraints IFProlog
Power Distribution Applications IFProlog
Predicates Reference Manual MINERVA
ProOpen, ProFetch, ProClose lowli c_interface advanced_feature v4.1 Manuals IFProlog
Problem Report Manual MINERVA
Program Security? FAQ MINERVA
Project Planning ExamplePrograms Constraints IFProlog
ProjectExamples Consulting
Prolog Organisationen IFProlog
PrologからToolkitへの変換 convert files adwidget xext athena advanced_feature v4.1 Manuals IFProlog
PrologからToolkitへの変換 convert incneww adwidget motifext osf_motif advanced_feature v4.1 Manuals IFProlog
Prologとの分離 intro sql advanced_feature v4.1 Manuals IFProlog
Prologの概念、言語、アプリケーションの範囲 user_guide v4.1 Manuals IFProlog
Prologコードよりの移動 cmd emacs advanced_feature v4.1 Manuals IFProlog
Prologモードにおけるローカル・キー・バインディングのリスト cmd emacs advanced_feature v4.1 Manuals IFProlog
Prolog例外処理 intro sql advanced_feature v4.1 Manuals IFProlog
Prolog言語バインディングによるXtプログラムの例題 xtprog athena advanced_feature v4.1 Manuals IFProlog
Prolog言語バインディングによるXtプログラムの例題 motifprog osf_motif advanced_feature v4.1 Manuals IFProlog
Prolog言語バインディングの一般的特徴 xtprog athena advanced_feature v4.1 Manuals IFProlog
Prolog言語バインディングの一般的特徴 motifprog osf_motif advanced_feature v4.1 Manuals IFProlog
Protect, UnProtect lowli c_interface advanced_feature v4.1 Manuals IFProlog
QueryDescr libft hostli advanced_feature v4.1 Manuals IFProlog
Reference Manual MINERVA
Reflection MinervaFeatures ExamplePrograms MINERVA
Reflection MinervaToJavaInterface Reference Manual MINERVA
Release Notes Manual MINERVA
Requirements FAQ MINERVA
Restrictions Reference Manual MINERVA
Roll Cutting Applications IFProlog
RunProlog, ResetQueries libft hostli advanced_feature v4.1 Manuals IFProlog
Runtime Licence Licencing IFProlog
SMTP Client Applications ExamplePrograms MINERVA
SQLインタフェースマニュアル advanced_feature v4.1 Manuals IFProlog
SanoKogei Testimonials Showcase MINERVA
Secure WWW ApplicationAreas Overview MINERVA
Send More Money ExamplePrograms Constraints IFProlog
Serialization? FAQ MINERVA
Services Consulting
Servlet MinervaFeatures ExamplePrograms MINERVA
Servlet Predicates Reference Manual MINERVA
Servlets? FAQ MINERVA
Showcase MINERVA
Size of MINERVA? FAQ MINERVA
SmeBSBオブジェクト(SmeBSB Object) athenause athena advanced_feature v4.1 Manuals IFProlog
SmeLine オブジェクト(SmeLine Object) athenause athena advanced_feature v4.1 Manuals IFProlog
Smith Puzzle ExamplePrograms Constraints IFProlog
Software requirements Unix Install v5.0 Manuals IFProlog
Solutions Showcase MINERVA
Specification Constraints IFProlog
Specifications IFProlog
Speech-JSAPI Extensions ExamplePrograms MINERVA
Standards Overview MINERVA
StartupArchive MinervaFeatures ExamplePrograms MINERVA
Steel Mill Machine Flow Applications IFProlog
Stock Evaluation Applications IFProlog
Stream selection and control Predicates Reference Manual MINERVA
Support for ActiveX? FAQ MINERVA
SymbolicMath Applications ExamplePrograms MINERVA
Tax Advisor ApplicationAreas Overview MINERVA
Technology Consulting
Term Stream Predicates Reference Manual MINERVA
Term comparison Predicates Reference Manual MINERVA
Term creation and decomposition Predicates Reference Manual MINERVA
Term input/output Predicates Reference Manual MINERVA
Term unification Predicates Reference Manual MINERVA
Term vector Predicates Reference Manual MINERVA
Testimonials Showcase MINERVA
Text Processing and Regular Expressions Predicates Reference Manual MINERVA
ToolkitからPrologへの変換 convert files adwidget xext athena advanced_feature v4.1 Manuals IFProlog
ToolkitからPrologへの変換 convert incneww adwidget motifext osf_motif advanced_feature v4.1 Manuals IFProlog
Trouble Shooting Installation Manual MINERVA
Troubleshooting Unix Install v5.0 Manuals IFProlog
Turbinen-Vibrations-Diagnose Applications IFProlog
Type testing Predicates Reference Manual MINERVA
UNIXにIF/Prologをインストールする。(UNIX上でのユーザの方のみお読み下さい。) general_unix installation v4.1 Manuals IFProlog
UNIXにおけるIF/Prolog installation v4.1 Manuals IFProlog
UNIX上の標準IF/Prologとの相違点 vax_vms installation v4.1 Manuals IFProlog
Unix LocalConfiguration Installation Manual MINERVA
Unternehmen
Use Parameters MinervaFeatures ExamplePrograms MINERVA
User Guide Manual MINERVA
VAX/VMSにIF/Prologをインストールする。 vax_vms installation v4.1 Manuals IFProlog
VAX/VMS上のIF/Prolog 4.1 installation v4.1 Manuals IFProlog
VarDescr libft hostli advanced_feature v4.1 Manuals IFProlog
Vendor シェル クラス(Vendor Shell Class) opaqw motifprog osf_motif advanced_feature v4.1 Manuals IFProlog
Verteiltes Datenbank System Applications IFProlog
WM シェル クラス(WM Shell Class) opaqw motifprog osf_motif advanced_feature v4.1 Manuals IFProlog
WM・シェル・クラス (WM Shell Class) opaqW xtprog athena advanced_feature v4.1 Manuals IFProlog
WeaveWeb
Web Servers OtherResources MINERVA
Web Shop IFProlog
Web Shop MINERVA
Web Shop
Welding Robot Applications ExamplePrograms MINERVA
What Binary Code? FAQ MINERVA
What is MINERVA? Overview MINERVA
When is what loaded? FAQ MINERVA
Who uses MINERVA? FAQ MINERVA
Widgetsの生成と操作 motifprog osf_motif advanced_feature v4.1 Manuals IFProlog
Widgetの名前の変換 impextf incneww adwidget motifext osf_motif advanced_feature v4.1 Manuals IFProlog
Win95Parameters Bugs Restrictions Reference Manual MINERVA
Windows Installation Procedures Install v5.0 Manuals IFProlog
Windows2000 LocalConfiguration Installation Manual MINERVA
Windows95 LocalConfiguration Installation Manual MINERVA
Windows98 LocalConfiguration Installation Manual MINERVA
WindowsME LocalConfiguration Installation Manual MINERVA
WindowsNT40 LocalConfiguration Installation Manual MINERVA
WindowsXP LocalConfiguration Installation Manual MINERVA
X is time reference v4.1 Manuals IFProlog
X11 Toolkitに対するOSF/Motif版拡張 osf_motif advanced_feature v4.1 Manuals IFProlog
X11.3 IF/Prologの拡張 athena advanced_feature v4.1 Manuals IFProlog
X11.4 Athena Widgetsの使用方法 athena advanced_feature v4.1 Manuals IFProlog
X11.4 Toolkit によるプログラミング athena advanced_feature v4.1 Manuals IFProlog
XML (eXtended Markup Language) terms Predicates Reference Manual MINERVA
Xmstring関数 extfunc drawW osf_motif advanced_feature v4.1 Manuals IFProlog
X環境のカスタマイズ x_dev_environment v4.1 Manuals IFProlog
\(バックスラッシュ) reference v4.1 Manuals IFProlog
\=/2 term_unification Predicates Reference Manual MINERVA
abolish reference v4.1 Manuals IFProlog
abolish/1 clause_creat_destruct Predicates Reference Manual MINERVA
abort reference v4.1 Manuals IFProlog
abort/0 logic_and_control Predicates Reference Manual MINERVA
append/3 lists Predicates Reference Manual MINERVA
arg reference v4.1 Manuals IFProlog
arg/3 term_creat_decomp Predicates Reference Manual MINERVA
assert reference v4.1 Manuals IFProlog
asserta/1 clause_creat_destruct Predicates Reference Manual MINERVA
asserta_term, asserto_term, assertz_term reference v4.1 Manuals IFProlog
assertz/1 clause_creat_destruct Predicates Reference Manual MINERVA
at_end_of_stream/0/1 stream_selection Predicates Reference Manual MINERVA
atom, atomic_length reference v4.1 Manuals IFProlog
atom/1 type_test Predicates Reference Manual MINERVA
atom_chars/2 atomic_term Predicates Reference Manual MINERVA
atom_codes/2 atomic_term Predicates Reference Manual MINERVA
atom_concat/2 atomic_term Predicates Reference Manual MINERVA
atom_concat/3 atomic_term Predicates Reference Manual MINERVA
atom_length/2 atomic_term Predicates Reference Manual MINERVA
atom_lower/2 atomic_term Predicates Reference Manual MINERVA
atom_number/2 atomic_term Predicates Reference Manual MINERVA
atom_upper/2 atomic_term Predicates Reference Manual MINERVA
atomic/1 type_test Predicates Reference Manual MINERVA
bagof/3 all_solutions Predicates Reference Manual MINERVA
bb_clear/1 blackboard Predicates Reference Manual MINERVA
bb_clear/2 blackboard Predicates Reference Manual MINERVA
bb_contains/2 blackboard Predicates Reference Manual MINERVA
bb_contains_key/2 blackboard Predicates Reference Manual MINERVA
bb_create/1 blackboard Predicates Reference Manual MINERVA
bb_elements/2 blackboard Predicates Reference Manual MINERVA
bb_get/3 blackboard Predicates Reference Manual MINERVA
bb_get/4 blackboard Predicates Reference Manual MINERVA
bb_keys/2 blackboard Predicates Reference Manual MINERVA
bb_put/3 blackboard Predicates Reference Manual MINERVA
bb_put/4 blackboard Predicates Reference Manual MINERVA
bb_remove/2 blackboard Predicates Reference Manual MINERVA
bb_size/2 blackboard Predicates Reference Manual MINERVA
block, exit_block, cut_block reference v4.1 Manuals IFProlog
break reference v4.1 Manuals IFProlog
break logic_and_control Predicates Reference Manual MINERVA
builtin Directives Reference Manual MINERVA
bye reference v4.1 Manuals IFProlog
call, execute reference v4.1 Manuals IFProlog
call/1 logic_and_control Predicates Reference Manual MINERVA
catch/3 logic_and_control Predicates Reference Manual MINERVA
cgenマニュアル c_interface advanced_feature v4.1 Manuals IFProlog
char_code/2 atomic_term Predicates Reference Manual MINERVA
char_conversion ISO13211 Restrictions Reference Manual MINERVA
chop/2 regexp Predicates Reference Manual MINERVA
clause/2 clause_retrieve Predicates Reference Manual MINERVA
clear_eol, clear_eos, clear_screen reference v4.1 Manuals IFProlog
client_start/3 sockets Predicates Reference Manual MINERVA
client_stop/1 sockets Predicates Reference Manual MINERVA
close reference v4.1 Manuals IFProlog
close/1 stream_selection Predicates Reference Manual MINERVA
co_add/2 Constraints Predicates Reference Manual MINERVA
co_check/2 Constraints Predicates Reference Manual MINERVA
co_get/2 Constraints Predicates Reference Manual MINERVA
co_merge/2 Constraints Predicates Reference Manual MINERVA
collect/3 clause_creat_destruct Predicates Reference Manual MINERVA
compare reference v4.1 Manuals IFProlog
compile/1/3 Compilation Predicates Reference Manual MINERVA
compiles reference v4.1 Manuals IFProlog
compound/1 type_test Predicates Reference Manual MINERVA
concat reference v4.1 Manuals IFProlog
consult reference v4.1 Manuals IFProlog
copy_term reference v4.1 Manuals IFProlog
copy_term/2 term_creat_decomp Predicates Reference Manual MINERVA
correct reference v4.1 Manuals IFProlog
cpu時間 reference v4.1 Manuals IFProlog
current_error/1 stream_selection Predicates Reference Manual MINERVA
current_global/1 global_variable Predicates Reference Manual MINERVA
current_input/1 stream_selection Predicates Reference Manual MINERVA
current_op/3 term_io Predicates Reference Manual MINERVA
current_output/1 stream_selection Predicates Reference Manual MINERVA
current_predicate/1 clause_retrieve Predicates Reference Manual MINERVA
dbsize, ssize, gused, dbused, tused, lused reference v4.1 Manuals IFProlog
debug, nodebug, debug_goal reference v4.1 Manuals IFProlog
debug_mode reference v4.1 Manuals IFProlog
decompcons reference v4.1 Manuals IFProlog
display reference v4.1 Manuals IFProlog
double_quotes Directives Reference Manual MINERVA
dynamic Directives MinervaFeatures ExamplePrograms MINERVA
dynamic Directives Reference Manual MINERVA
end_of_file文字 reference v4.1 Manuals IFProlog
ensure_loaded Directives Reference Manual MINERVA
equiv_char, image_length, byte_length reference v4.1 Manuals IFProlog
error_protect, exception, exception_handler reference v4.1 Manuals IFProlog
exists reference v4.1 Manuals IFProlog
exit reference v4.1 Manuals IFProlog
expand_term, phrase(+ゴール,?リスト) reference v4.1 Manuals IFProlog
expand_term/2 grammar_rules Predicates Reference Manual MINERVA
external Directives MinervaFeatures ExamplePrograms MINERVA
external Directives Reference Manual MINERVA
fail reference v4.1 Manuals IFProlog
fail/0 logic_and_control Predicates Reference Manual MINERVA
fcall/1 logic_and_control Predicates Reference Manual MINERVA
filepos, files, flush, reset_streams reference v4.1 Manuals IFProlog
findall reference v4.1 Manuals IFProlog
findall/3 all_solutions Predicates Reference Manual MINERVA
float/1 type_test Predicates Reference Manual MINERVA
float_format reference v4.1 Manuals IFProlog
flush_output/0/1 stream_selection Predicates Reference Manual MINERVA
for/3 arithm_eval Predicates Reference Manual MINERVA
for_predのソースコード exampb cpredbw c_interface advanced_feature v4.1 Manuals IFProlog
for_predの説明 exampb cpredbw c_interface advanced_feature v4.1 Manuals IFProlog
fprintt, printt, sprintt, outputlen libft hostli advanced_feature v4.1 Manuals IFProlog
functor reference v4.1 Manuals IFProlog
functor/3 term_creat_decomp Predicates Reference Manual MINERVA
gc reference v4.1 Manuals IFProlog
get, get0, get_until reference v4.1 Manuals IFProlog
get_char/1/2 char_io Predicates Reference Manual MINERVA
get_code/1/2 char_io Predicates Reference Manual MINERVA
get_global, # global_variable reference v4.1 Manuals IFProlog
get_global/2 global_variable Predicates Reference Manual MINERVA
get_line/1/2 regexp Predicates Reference Manual MINERVA
getchar reference v4.1 Manuals IFProlog
getenv, get_home, get_last, move_cursor reference v4.1 Manuals IFProlog
global variables Predicates Reference Manual MINERVA
guievent GuiProgramming Reference Manual MINERVA
halt/0/1 logic_and_control Predicates Reference Manual MINERVA
help reference v4.1 Manuals IFProlog
ifprolog reference v4.1 Manuals IFProlog
ifsem reference v4.1 Manuals IFProlog
import Directives Reference Manual MINERVA
include reference v4.1 Manuals IFProlog
include Directives MinervaFeatures ExamplePrograms MINERVA
include Directives Reference Manual MINERVA
index reference v4.1 Manuals IFProlog
init Directives MinervaFeatures ExamplePrograms MINERVA
init Directives Reference Manual MINERVA
initialization Directives Reference Manual MINERVA
integer/1 type_test Predicates Reference Manual MINERVA
interrupt, interrupted compaintro reference v4.1 Manuals IFProlog
is reference v4.1 Manuals IFProlog
is/2 arithm_eval Predicates Reference Manual MINERVA
kanji_mode compaintro reference v4.1 Manuals IFProlog
length, #reverse reference v4.1 Manuals IFProlog
list_mode, listing reference v4.1 Manuals IFProlog
listener_start/3 sockets Predicates Reference Manual MINERVA
listener_stop/3 sockets Predicates Reference Manual MINERVA
load, loaded reference v4.1 Manuals IFProlog
load/1 clause_creat_destruct Predicates Reference Manual MINERVA
load_system compaintro reference v4.1 Manuals IFProlog
loaded/1/2 clause_creat_destruct Predicates Reference Manual MINERVA
localtime reference v4.1 Manuals IFProlog
lower_upper, national_letters reference v4.1 Manuals IFProlog
main Reference Manual MINERVA
main.c プログラム例 hostli advanced_feature v4.1 Manuals IFProlog
make_atom, make_number reference v4.1 Manuals IFProlog
match, # match reference v4.1 Manuals IFProlog
match/2/3 regexp Predicates Reference Manual MINERVA
match_all/3 regexp Predicates Reference Manual MINERVA
member/2 lists Predicates Reference Manual MINERVA
merge_sort/2 lists Predicates Reference Manual MINERVA
minerva Invocation Reference Manual MINERVA
minervac Invocation Reference Manual MINERVA
minervad Invocation Reference Manual MINERVA
minervagui Invocation Reference Manual MINERVA
minervar Invocation Reference Manual MINERVA
minervax Invocation Reference Manual MINERVA
minmake Invocation Reference Manual MINERVA
mjar Invocation Reference Manual MINERVA
mjava Invocation Reference Manual MINERVA
mjavac Invocation Reference Manual MINERVA
mlisting compaintro reference v4.1 Manuals IFProlog
modify_mode reference v4.1 Manuals IFProlog
multifile ISO13211 Restrictions Reference Manual MINERVA
name reference v4.1 Manuals IFProlog
nl reference v4.1 Manuals IFProlog
nl/0/1 char_io Predicates Reference Manual MINERVA
nonvar/1 type_test Predicates Reference Manual MINERVA
not reference v4.1 Manuals IFProlog
number reference v4.1 Manuals IFProlog
number/1 type_test Predicates Reference Manual MINERVA
number_chars/2 atomic_term Predicates Reference Manual MINERVA
number_codes/2 atomic_term Predicates Reference Manual MINERVA
once reference v4.1 Manuals IFProlog
once/1 logic_and_control Predicates Reference Manual MINERVA
op Directives Reference Manual MINERVA
op, # current_op reference v4.1 Manuals IFProlog
op/3 term_io Predicates Reference Manual MINERVA
open, close, stream_control, #current_stream, link_stream reference v4.1 Manuals IFProlog
open/3/4 stream_selection Predicates Reference Manual MINERVA
outpos, outtab reference v4.1 Manuals IFProlog
package Directives MinervaFeatures ExamplePrograms MINERVA
package Directives Reference Manual MINERVA
parse_atom reference v4.1 Manuals IFProlog
parse_atom/2/3 atomic_term Predicates Reference Manual MINERVA
parse_position reference v4.1 Manuals IFProlog
peek_char/1/2 char_io Predicates Reference Manual MINERVA
peek_code/1/2 char_io Predicates Reference Manual MINERVA
phrase/2 grammar_rules Predicates Reference Manual MINERVA
predicate, predicate_mode reference v4.1 Manuals IFProlog