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
2008-08-18 Email Entry Points New
News
2009-01-08 Server Downsizing
News
2009-05-01 INAP2009
News
2009-08-28 More ubiCMS solar energy sites
News
2010-02-05 Better Email Support
News
2011-07-01 INAP2011
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 Autonomous Agent Research
News
95-10-01 Circuit Verification
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 NEW: Freeware Licence
News
95-10-01 Order Processing at HP
News
95-10-19 INAP'95
News
95-10-19 INAP'95 Program
News
95-12-06 UNIX Fair'95
News
96-01-01 Applications on the Web
News
96-01-01 Call for Papers: INAP'96
News
96-01-01 Optimizing Business Processes
News
96-01-01 Power Distribution
News
96-02-01 IF/Prolog on IBMs SP-2
News
96-04-22 PAP'96
News
96-05-01 IF/Prolog V5.0B for UNIX
News
96-05-01 Logtalk for IF/Prolog V5.0
News
96-05-01 MIKE for IF/Prolog V5.0
News
96-05-01 Nokia Configures Mobile Phones
News
96-05-01 PAP/PACT/PAAM 96 Proceedings
News
96-05-09 ASTAP Seminar: Transportation
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 Computation
News
96-08-01 FE Mesh Generation System
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-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
Airport Environment Control
Applications
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
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
Corporate
Custom Design
ApplicationAreas
Overview
MINERVA
Customer Support Center
Applications
IFProlog
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
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
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/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 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 V5.x Overview
Specifications
IFProlog
IF/Prolog V5.x for UNIX
Specifications
IFProlog
IF/Prolog V5.x for Windows
Specifications
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/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
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
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
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 related Organizations
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
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
Spectacle Design
Applications
IFProlog
Speech-JSAPI
Extensions
ExamplePrograms
MINERVA
Standards
Overview
MINERVA
StartupArchive
MinervaFeatures
ExamplePrograms
MINERVA
Station Control
Applications
IFProlog
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
Telephone Configuration
Applications
IFProlog
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
Turbine Vibration Diagnosis
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
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
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
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
distributed databases
Applications
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
predicate_type
reference
v4.1
Manuals
IFProlog
print
reference
v4.1
Manuals
IFProlog
print/1/2
term_io
Predicates
Reference
Manual
MINERVA
println/1/2
term_io
Predicates
Reference
Manual
MINERVA
printt()のデモンストレ−ション
examp
hostli
advanced_feature
v4.1
Manuals
IFProlog
printt()プログラムの実行
examp
hostli
advanced_feature
v4.1
Manuals
IFProlog
program
reference
v4.1
Manuals
IFProlog
program_parameters, system_parameters, user_parameters
reference
v4.1
Manuals
IFProlog
prolog_library
reference
v4.1
Manuals
IFProlog
prolog_system, prolog_version, proroot
reference
v4.1
Manuals
IFProlog
put
reference
v4.1
Manuals
IFProlog
put_byte, get_byte
reference
v4.1
Manuals
IFProlog
put_char/1/2
char_io
Predicates
Reference
Manual
MINERVA
put_code/1/2
char_io
Predicates
Reference
Manual
MINERVA
raise_error
reference
v4.1
Manuals
IFProlog
read, read_term
reference
v4.1
Manuals
IFProlog
read/1/2
term_io
Predicates
Reference
Manual
MINERVA
read_binary_term/2
TermStream
Predicates
Reference
Manual
MINERVA
read_error, report_read_error
reference
v4.1
Manuals
IFProlog
read_functor_check
compaintro
reference
v4.1
Manuals
IFProlog
read_term/2/3
term_io
Predicates
Reference
Manual
MINERVA
read_xml/2/3
XML
Predicates
Reference
Manual
MINERVA
readatom.cのリスト
exampbe
cpredbw
c_interface
advanced_feature
v4.1
Manuals
IFProlog
receive/2
sockets
Predicates
Reference
Manual
MINERVA
reconsult(+ファイル名)
reference
v4.1
Manuals
IFProlog
release200203
Bugs
Restrictions
Reference
Manual
MINERVA
repeat/0
logic_and_control
Predicates
Reference
Manual
MINERVA
retract/1
clause_creat_destruct
Predicates
Reference
Manual
MINERVA
retractall/1
clause_creat_destruct
Predicates
Reference
Manual
MINERVA
retractop
reference
v4.1
Manuals
IFProlog
reverse/2/3
lists
Predicates
Reference
Manual
MINERVA
save_system, save_module
reference
v4.1
Manuals
IFProlog
see, seeing, seen
reference
v4.1
Manuals
IFProlog
send/2
sockets
Predicates
Reference
Manual
MINERVA
server_start/4
sockets
Predicates
Reference
Manual
MINERVA
server_stop/1
sockets
Predicates
Reference
Manual
MINERVA
set_error/1
stream_selection
Predicates
Reference
Manual
MINERVA
set_global
reference
v4.1
Manuals
IFProlog
set_global/2
global_variable
Predicates
Reference
Manual
MINERVA
set_home, setoutpos, setupterm
reference
v4.1
Manuals
IFProlog
set_input/1
stream_selection
Predicates
Reference
Manual
MINERVA
set_output/1
stream_selection
Predicates
Reference
Manual
MINERVA
setof/3
all_solutions
Predicates
Reference
Manual
MINERVA
signal, signal_handler, alarm
reference
v4.1
Manuals
IFProlog
skip
reference
v4.1
Manuals
IFProlog
sort, keysort
reference
v4.1
Manuals
IFProlog
sort/2
lists
Predicates
Reference
Manual
MINERVA
split/2/3
regexp
Predicates
Reference
Manual
MINERVA
spy
reference
v4.1
Manuals
IFProlog
sql_begin
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_close
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_close_db
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_commit
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_connect_db
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_declare
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_descr_in
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_descr_out
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_disconnect_db
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_dualcmd
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_errmsg
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_execute
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_fetch
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_fetch_buf
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_fetch_n
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_get_value
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_inout
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_inquire_ingres
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_logoff
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_logon
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_open
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_open_db
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
sql_rollback
predref
sql
advanced_feature
v4.1
Manuals
IFProlog
static
MinervaToJavaInterface
Reference
Manual
MINERVA
statistics
reference
v4.1
Manuals
IFProlog
sub_atom/5
atomic_term
Predicates
Reference
Manual
MINERVA
subatomic
reference
v4.1
Manuals
IFProlog
substitute/4
regexp
Predicates
Reference
Manual
MINERVA
substitute_all/4
regexp
Predicates
Reference
Manual
MINERVA
sum, inc
reference
v4.1
Manuals
IFProlog
supplierプログラムの実行
examp
hostli
advanced_feature
v4.1
Manuals
IFProlog
supplier例に対するCプログラム
examp
hostli
advanced_feature
v4.1
Manuals
IFProlog
supplier例に対するPrologプログラム
examp
hostli
advanced_feature
v4.1
Manuals
IFProlog
symbol
reference
v4.1
Manuals
IFProlog
syntax_error
reference
v4.1
Manuals
IFProlog
system
reference
v4.1
Manuals
IFProlog
system_date, system_time
reference
v4.1
Manuals
IFProlog
system_predicate
reference
v4.1
Manuals
IFProlog
tab
reference
v4.1
Manuals
IFProlog
tell, telling, told
reference
v4.1
Manuals
IFProlog
term2xml/3
XML
Predicates
Reference
Manual
MINERVA
term2xmldoc/3
XML
Predicates
Reference
Manual
MINERVA
throw/1
logic_and_control
Predicates
Reference
Manual
MINERVA
timer_close/1
timer
Predicates
Reference
Manual
MINERVA
timer_create/2
timer
Predicates
Reference
Manual
MINERVA
timer_is_active/1
timer
Predicates
Reference
Manual
MINERVA
timer_start/2
timer
Predicates
Reference
Manual
MINERVA
timer_stop/1
timer
Predicates
Reference
Manual
MINERVA
trace, notrace, trace_mode, trace_goal
reference
v4.1
Manuals
IFProlog
trace, tracing, traced
reference
v4.1
Manuals
IFProlog
traceput
compaintro
reference
v4.1
Manuals
IFProlog
true
reference
v4.1
Manuals
IFProlog
true/0
logic_and_control
Predicates
Reference
Manual
MINERVA
tty_size
reference
v4.1
Manuals
IFProlog
ttydisplay, ttydisplayq, ttywrite, ttywriteq
compaintro
reference
v4.1
Manuals
IFProlog
ttyget0, ttyget_until
compaintro
reference
v4.1
Manuals
IFProlog
ttyput
compaintro
reference
v4.1
Manuals
IFProlog
ttyread
compaintro
reference
v4.1
Manuals
IFProlog
tv_add/2
termvector
Predicates
Reference
Manual
MINERVA
tv_create/1
termvector
Predicates
Reference
Manual
MINERVA
tv_get/3
termvector
Predicates
Reference
Manual
MINERVA
tv_list/2
termvector
Predicates
Reference
Manual
MINERVA
tv_set/3
termvector
Predicates
Reference
Manual
MINERVA
tv_setsize/2
termvector
Predicates
Reference
Manual
MINERVA
tv_size/2
termvector
Predicates
Reference
Manual
MINERVA
type_of, atom, nonvar, atomic, numeric, digit, realn, integer, struct, letter, var
reference
v4.1
Manuals
IFProlog
unifiy_with_occurs_check/2
term_unification
Predicates
Reference
Manual
MINERVA
unload
reference
v4.1
Manuals
IFProlog
unload/1
clause_creat_destruct
Predicates
Reference
Manual
MINERVA
unset_global
reference
v4.1
Manuals
IFProlog
user
reference
v4.1
Manuals
IFProlog
var/1
type_test
Predicates
Reference
Manual
MINERVA
widgetの生成と操作
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
widget名の変換
impextf
adwidget
xext
athena
advanced_feature
v4.1
Manuals
IFProlog
write
reference
v4.1
Manuals
IFProlog
write/1/2
term_io
Predicates
Reference
Manual
MINERVA
write_atom/2
atomic_term
Predicates
Reference
Manual
MINERVA
write_binary_term/2
TermStream
Predicates
Reference
Manual
MINERVA
write_canonical/1/2
term_io
Predicates
Reference
Manual
MINERVA
write_err, writeq_err
compaintro
reference
v4.1
Manuals
IFProlog
write_term/2/3
term_io
Predicates
Reference
Manual
MINERVA
write_xml/1/2
XML
Predicates
Reference
Manual
MINERVA
writeq/1/2
term_io
Predicates
Reference
Manual
MINERVA
writeq_atom/2
atomic_term
Predicates
Reference
Manual
MINERVA
xawAsciiSave/1
asctw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawAsciiSaveAsFile/2
asctw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawAsciiSourceChanged/1
asctw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawDialogAddButton/4
dialogw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawDialogGetValueString/2
dialogw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawFormDoLatout/2
formw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawListChange/3
listw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawListHighlight/2
listw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawListShowCurrent/2
listw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawListUnhighlight/1
listw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawPanedAllowResize/2
panedw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawPanedGetNumSub/2
panedw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawPanedSetMinMax/3, xawPanedGetMinMax/3
panedw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawPanedSetRefigureMode/2
panedw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawSimpleMenuAddGlobalActions/1
simplemw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawSimpleMenuGetActiveEntry/2
simplemw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextDisableRedisplay/1
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextDisplay/1
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextDisplayCaret/2
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextEnableRedisplay/1
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextGetInsertionPoint/2
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextGetLastPos/2
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextGetSelectionPos/3
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextGetSource/2
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextGetString/2
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextInvalidate/3
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextReplace/4
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextSearch/4
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextSetInsertionPoint/3
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextSetSelectionArray/2
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextSetSource/3
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextSetString/2
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextTopPosition/2
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawTextUnsetSelection/1
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawToggleChangeRadioGroup/2
togglew
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawToggleGetCurrent/2
togglew
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawToggleSetCurrent/2
togglew
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xawToggleUnsetCurrent/2
togglew
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xmCascadeButtonHighlight/2
casbg
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmCascadeButtonHighlight/2
casbw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmCommandAppendValue/2
commandw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmCommandError/2
commandw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmCommandGetChild/3
commandw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmCommandSetValue/2
commandw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmCreatSimple.../4
rowcolw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmFileSelectionBoxDoSearch/2
filesbw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmFileSelectionBoxGetChild/3
filesbw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmGetMenuCursor/1,xmSetMenuCursor/1
rowcolw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmGetPostedFromWidget/2
rowcolw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmInitialize/5
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListAddItem/3
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListAddItemUnselected/3
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListAddItems/3
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListDeleteAllItem/1
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListDeleteItem/2
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListDeleteItems/2
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListDeleteItemsPos/3
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListDeletePos/2
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListDeselectAllItems/1
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListDeselectItem/2
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListDeselectPos/3
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListGetMatchPos/4
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListGetSelectPos/3
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListItemExists/2
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListItemPos/3
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListReplaceItems/3
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListReplaceItemsPos/3
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListSelectItem/3
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListSelectPos/3
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListSetAddMode/2
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListSetBottomItem/2
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListSetBottomPos/2
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListSetHorizPos/2
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListSetItem/2
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmListSetPos/2
listw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmMainWindowSep1/2,xmMainWindowSep2/2,xmMainWindowSep3/2
mainwW
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmMainWindowSetAreas/6
mainwW
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmMenuPosition/1
rowcolw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmMessageBoxGetChild/3
msgbw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmOptionButton/LabelGadget/2
rowcolw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmScaleGetValue/2,xmScaleSetValue/2
scalew
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmScrollBarGet/SetValue/5
scrobarw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmScrolledWindowSetAreas/4
scrowW
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmSelectionBoxGetChild/3
selectbw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextClearSelection/1
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextCopy/1
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextCut/1
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldClearSelection/1
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldCopy/1
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldCut/1
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldGetBaseline/2
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldGetEditable/1
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldGetInsertionPosition/2
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldGetLastPosition/2
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldGetMaxLength/2
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldGetSelection/2
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldGetSelectionPosition/3
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldGetString/2
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldInsert/3
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldPaste/1
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldPosToXY/4
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldRemove/1
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldReplace/4
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldSEtHighlight/4
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldSetAddMode
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldSetEditable/2
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldSetInsertionPosition/2
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldSetMaxLength/2
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldSetSelection/3
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldSetString/2
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldShowPosition/2
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextFieldXYToPos/4
textfw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextGetBaseline/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextGetEditable/1
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextGetInsertionPosition/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextGetLastPosition/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextGetMaxLength/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextGetSelection/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextGetSelectionPosition/3
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextGetSource/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextGetString/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextGetTopCharacter/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextInsert/3
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextPaste/1
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextPosToXY/4
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextRemove/1
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextReplace/4
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextSEtHighlight/4
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextScroll/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextSetAddMode(+WidgetName, +State)
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextSetEditable/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextSetInsertionPosition/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextSetMaxLength/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextSetSelection/3
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextSetSource/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextSetString/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextSetTopCharacter/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextShowPosition/2
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmTextXYToPos/4
textw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmToggleButtonGadgetGetState/1
toglbg
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmToggleButtonGadgetSetState/3
toglbg
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmToggleButtonGetState/1
toglbw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xmToggleButtonSetState/3
toglbw
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xml2term/3
XML
Predicates
Reference
Manual
MINERVA
xmldoc2term/3
XML
Predicates
Reference
Manual
MINERVA
xtAddAction/1, xtAddActions/1
callback
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtAddAction/1, xtAddActions/1
callback
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtAddCallback/4, xtAddCallbacks/1
callback
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtAddCallback/4, xtAddCallbacks/1
callback
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtAddGrab/3, xtRemoveGrab/1
miscell
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtAddGrab/3, xtRemoveGrab/1
miscell
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtAddInput/5, xtRemoveInput/1
addevent
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtAddInput/5, xtRemoveInput/1
addevent
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtAddTimeOut/4, xtRemoveTimeOut/1
addevent
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtAddTimeOut/4, xtRemoveTimeOut/1
addevent
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtAddWorkProc/3, xtRemoveWorkProc/1
addevent
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtAddWorkProc/3, xtRemoveWorkProc/1
addevent
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtCallAcceptFocus/1
miscell
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtCallAcceptFocus/1
miscell
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtCallActionProc/2
callback
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtCallActionProc/2
callback
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtClass/2
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtClass/2
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtCreateApplicationShell/4
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtCreateApplicationShell/4
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtCreateManagedWidget/5
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtCreateManagedWidget/5
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtCreatePopupShell/5
popupW
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtCreatePopupShell/5
popupw
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtCreateWidget/5
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtCreateWidget/5
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtDestroyWidget/1
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtDestroyWidget/1
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtDisplayWidth(MM)/3, xtDisplayHeight(MM)/3
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtDisplayWidth(MM)/3, xtDisplayHeight(MM)/3
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtFlush/1
miscell
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtFlush/1
miscell
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtGetActionKeysym/2
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtGetActionKeysym/2
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtGetApplicationNameAndClass/2
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtGetApplicationNameAndClass/3
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtGetApplicationResource/3
apresoce
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtGetApplicationResources/3
apresoce
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtGetEventComponents/1, xtGetEventComponent/1
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtGetEventComponents/1, xtGetEventComponent/1
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtGetMultiClickTime/2 xtSetMultiClickTime/2
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtGetMutilClickTime/2,xtSetMultiClickTime/2
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtGetValues/2, xtGetValue/2
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtGetValues/2, xtGetValue/2
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtGetWidgetMapState/2
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtGetWidgetMapState/2
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtGrabButton/9,xtUngrabButton/3
miscell
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtGrabButton/9,xtUngrabButton/3
miscell
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtGrabKey/6,xtUngrabKey/3
miscell
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtGrabKey/6,xtUngrabKey/3
miscell
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtGrabKeyboard/4,xtUngrabKeyboard/1
miscell
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtGrabKeyboard/4,xtUngrabKeyboard/1
miscell
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtGrabPointer/7,xtUngrabPointer/3
miscell
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtGrabPointer/7,xtUngrabPointer/3
miscell
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtHasCallbacks/2
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtHasCallbacks/2
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtInitialize/5
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtInstallAccelerators/2, xtInstallAllAccelerators/2
miscell
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtInstallAccelerators/2, xtInstallAllAccelerators/2
miscell
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtIsComposite/1
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtIsComposite/1
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtIsManaged/1
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtIsManaged/1
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtIsRealized/1
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtIsRealized/1
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtIsSensitive/1
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtIsSensitive/1
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtIsSubclass/2
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtIsSugclass/2
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtKeysymToKeycode/3
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtKeysymToKeycode/3
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtKeysymToKeycodeList/4
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtKeysymToKeycodeList/4
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtLoopWhileEvents/0
mainloop
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtLoopWhileEvents/0
mainloop
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtMainLoop/0, xtBreakMainLoop/0
mainloop
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtMainLoop/0, xtBreakMainLoop/0
mainloop
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtManageChild/1
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtManageChild/1
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtManageChildren/1
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtManageChildren/1
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtMapWidget/1, xtUnmapWidget/1
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtMapWidget/1, xtUnmapWidget/1
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtName/2
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtName/2
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtNameToWidget/3
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtNameToWidget/3
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtParent/2
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtParent/2
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtPending/0
mainloop
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtPending/0
mainloop
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtPopdown/1
popupW
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtPopdown/1
popupw
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtPopup/2
popupW
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtPopup/2
popupw
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtPopupSpringLoaded/1
popupW
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtPopupSpringLoaded/1
popupw
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtProcessEvent/1
mainloop
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtProcessEvent/1
mainloop
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtRaiseWidget/1, xtLowerWidget/1
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtRaiseWidget/1, xtLowerWidget/1
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtRealizeWidget/1
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtRealizeWidget/1
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtRemoveAllCallbacks/2
callback
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtRemoveAllCallbacks/2
callback
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtRemoveCallback/4, xtRemoveCallbacks/1
callback
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtRemoveCallback/4, xtRemoveCallbacks/1
callback
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtRestackWidget/3
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtRestackWidget/3
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtScrollbarSetThumb/3
scrobarw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
xtSetKeyboardFocus/2
miscell
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtSetKeyboardFocus/2
miscell
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtSetMappedWhenManaged/2
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtSetMappedWhenManaged/2
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtSetSensitive/2
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtSetSensitive/2
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtSetUserSpecifiedLocation/1
xtgetec
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtSetUserSpecifiedLocation/1
xtgetsetmct
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtSetValues/2, xtSetValue/2
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtSetValues/2, xtSetValue/2
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtSetWidgetCursora/2
xtgetec
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtSetWidgetCursora/2
xtgetsetmct
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtSync/1
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtSync/1
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtTranslateCoords/5
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtTranslateCoords/5
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtUnmanageChild/1
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtUnmanageChild/1
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtUnmanageChildren/1
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtUnmanageChildren/1
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtUnrealizeWidget/1
widgets
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtUnrealizeWidget/1
widgets
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtVersion/2
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtVersion/2
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtWidget/1
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtWidget/1
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
xtWindow/2, xtWindowToWidget/2
querypred
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
xtWindow/2, xtWindowToWidget/2
querypred
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
あなたのプログラムが動かない場合
cpredw
c_interface
advanced_feature
v4.1
Manuals
IFProlog
このマニュアルで使用している引数の役割名
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
このマニュアルで使用している引数の役割名
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
このマニュアルで使用している引数の役割名
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
このマニュアルで使用している引数の役割名
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
このマニュアルで使用している引数の役割名
osfext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
さらに複雑なユーザ定義のストリーム
strint
c_interface
advanced_feature
v4.1
Manuals
IFProlog
ぺインドウインドウWidget (PanedWindow Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
アクション
drawW
athena
advanced_feature
v4.1
Manuals
IFProlog
アクション
hyperW
athena
advanced_feature
v4.1
Manuals
IFProlog
アクション
drawW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
アクション
hyperW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
アクセラレータ
accelerators
x_dev_environment
v4.1
Manuals
IFProlog
アクセラレータとニモニック
x_dev_environment
v4.1
Manuals
IFProlog
アトムの取り扱い
libfun
intro
fortran
advanced_feature
v4.1
Manuals
IFProlog
アトムの扱い
summ
libfunc
c_interface
advanced_feature
v4.1
Manuals
IFProlog
アプリケ−ション シェル クラス (Application Shell Class)
opaqw
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
アプリケ−ションリソ−スの取得
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
アプリケ−ションリソ−スの取得
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
アプリケ−ション・シェル・クラス (Application Shell Class)
opaqW
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
アリティ(arity)
reference
v4.1
Manuals
IFProlog
アローボタンGadget (ArrowButton Gadget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
アローボタンWidget (ArrowButton Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
イベントのディスパッチングとMainLoopの制御
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
イベントのディスパッチングとMainLoopの制御
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
イベントソ−スの追加とバックグラウンド動作
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
イベントソ−スの追加とバックグラウンド動作
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
インクルード・ファイルの追加
attach
c_gen
c_interface
advanced_feature
v4.1
Manuals
IFProlog
インスト−ル
adwidget
xext
athena
advanced_feature
v4.1
Manuals
IFProlog
インスト−ル
incneww
adwidget
motifext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
インストールガイド
v4.1
Manuals
IFProlog
インタフェースの変更
rel4.0
introduction
v4.1
Manuals
IFProlog
インタプリタレベル(interpreter level)
reference
v4.1
Manuals
IFProlog
インタープリタされた述語とコンパイルされた述語の組合せ
compile
user_guide
v4.1
Manuals
IFProlog
イントロダクション
c_gen
c_interface
advanced_feature
v4.1
Manuals
IFProlog
イントロダクション
c_interface
advanced_feature
v4.1
Manuals
IFProlog
イントロダクション
emacs
advanced_feature
v4.1
Manuals
IFProlog
イントロダクション
fortran
advanced_feature
v4.1
Manuals
IFProlog
イントロダクション
hostli
advanced_feature
v4.1
Manuals
IFProlog
イントロダクション
library
advanced_feature
v4.1
Manuals
IFProlog
イントロダクション
oracle
advanced_feature
v4.1
Manuals
IFProlog
イントロダクション
sql
advanced_feature
v4.1
Manuals
IFProlog
イントロダクション
v4.1
Manuals
IFProlog
イントロダクション
reference
v4.1
Manuals
IFProlog
イントロダクション
x_dev_environment
v4.1
Manuals
IFProlog
イントロダクション: UNIXシステムに於けるIF/PrologとGKS
gks
advanced_feature
v4.1
Manuals
IFProlog
イントロダクションとインスト−ル
athena
advanced_feature
v4.1
Manuals
IFProlog
イントロダクションとインストール
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ウィジェット階層
configure
x_dev_environment
v4.1
Manuals
IFProlog
ウインドウの中身のダンプ/アンダンプ
extfunc
drawW
athena
advanced_feature
v4.1
Manuals
IFProlog
ウインドウの中身のダンプ/アンダンプ
extfunc
drawW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
エラーチェックのための関数
summ
libfunc
c_interface
advanced_feature
v4.1
Manuals
IFProlog
エラーメッセージ
compile
user_guide
v4.1
Manuals
IFProlog
エラーメッセージ
module
user_guide
v4.1
Manuals
IFProlog
エラー・チェック関数
libfun
intro
fortran
advanced_feature
v4.1
Manuals
IFProlog
オ−バ−ライド シェル クラス(Override Shell Class)
opaqw
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
オ−バ−ライド・シェル・クラス (Override Shell Class)
opaqW
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
オペレータ(operator)
reference
v4.1
Manuals
IFProlog
カスケードボタンGadget (CascadeButton Gadget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
カスケードボタンWidget (CascadeButton Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
カット & ペースト
features
hyperW
athena
advanced_feature
v4.1
Manuals
IFProlog
カット & ペースト
features
hyperW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
カーソル概念
intro
sql
advanced_feature
v4.1
Manuals
IFProlog
ガーベジ・コレクション
rel4.0
introduction
v4.1
Manuals
IFProlog
キーボード・インタフェース
osfext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
グリップWidget (Grip Widget)
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
コ−ルバックとアクションの使用
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
コ−ルバックとアクションの使用
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
コアwidgetクラス(Core Widget Class)
opaqw
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
コア・widget・クラス (Core Widget Class)
opaqW
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
コマンドWidget (Command Widget)
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
コマンドWidget (Command Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
コマンドウィンドウ
x_dev_environment
v4.1
Manuals
IFProlog
コマンドウィンドウボタン
command
x_dev_environment
v4.1
Manuals
IFProlog
コマンド・ウィンドウでのプルダウン・メニュー
command
x_dev_environment
v4.1
Manuals
IFProlog
コマンド・ウィンドウのリソース
configure
x_dev_environment
v4.1
Manuals
IFProlog
コメント
reference
v4.1
Manuals
IFProlog
コンストレイント ?idge クラス?(Constraint Widget Class)
opaqw
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
コンストレイント・widget・クラス (Constraint Widget Class)
opaqW
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
コントロールスタック(control stack)
reference
v4.1
Manuals
IFProlog
コンバ−タ
files
adwidget
xext
athena
advanced_feature
v4.1
Manuals
IFProlog
コンバ−タ
incneww
adwidget
motifext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
コンパイルされた述語の使用
compile
user_guide
v4.1
Manuals
IFProlog
コンパイルされる述語について
compile
user_guide
v4.1
Manuals
IFProlog
コンパイルとリンク
adwidget
xext
athena
advanced_feature
v4.1
Manuals
IFProlog
コンパイルとリンク
incneww
adwidget
motifext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
コンパイルのためのファイル準備
compile
user_guide
v4.1
Manuals
IFProlog
コンポジット widget クラス ( Composite Widget Class )
opaqw
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
コンポジット・widget・クラス (Composite Widget Class)
opaqW
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
コンポーネント選択
osfext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
コールバック構造体
osfext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ゴール(goal)
reference
v4.1
Manuals
IFProlog
サンプル
sql
advanced_feature
v4.1
Manuals
IFProlog
サンプルセッション
debug
user_guide
v4.1
Manuals
IFProlog
シェル ?idge クラス?(Shell Widget Class)
opaqw
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
シェル・widget・クラス (Shell Widget Class)
opaqW
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
シンプルWidget (Simple Widget)
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
シンプルメニューwidget(SimpleMenu Widget)
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
スクロ−ルバ−Widget (Scrollbar Widget)
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
スクロールドウインドウWidget (ScrolledWindow Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
スクロールバーWidget (ScrollBar Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
スケールWidget (Scale Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ストリーム
rel4.0
introduction
v4.1
Manuals
IFProlog
ストリームの入/出力
inout
prepare
user_guide
v4.1
Manuals
IFProlog
ストリームの制御
strint
c_interface
advanced_feature
v4.1
Manuals
IFProlog
スパイポイントの使用
debug
user_guide
v4.1
Manuals
IFProlog
ズーミング機能
debugger
x_dev_environment
v4.1
Manuals
IFProlog
セパレータGadget (Separator Gadget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
セパレータWidget (Separator Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
セレクションボックスWidget (SelectionBox Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ソースファイルフォーマット
hyperW
athena
advanced_feature
v4.1
Manuals
IFProlog
ソースファイルフォーマット
hyperW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
タグファイルを生成するptagsの説明
emacs
advanced_feature
v4.1
Manuals
IFProlog
ダイアログWidget (Dialog Widget)
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
ダイアログシェルWidget (DialogShell Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ダイナミックSQL DELETEコマンド
examp
sql
advanced_feature
v4.1
Manuals
IFProlog
ダイナミックSQL INSERTコマンド
examp
sql
advanced_feature
v4.1
Manuals
IFProlog
ダイナミックSQL SELECTコマンド
examp
sql
advanced_feature
v4.1
Manuals
IFProlog
ダイナミックSQLコマンド
intro
sql
advanced_feature
v4.1
Manuals
IFProlog
ダイナミックSQLコマンドの解釈
intro
sql
advanced_feature
v4.1
Manuals
IFProlog
テキストWidget (Text Widget)
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
テキストWidget (Text Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
テキストフィールドWidget (TextField Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
テキスト・エクステントの問い合わせ
extfunc
drawW
athena
advanced_feature
v4.1
Manuals
IFProlog
テキスト・エクステントの問い合わせ
extfunc
drawW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ディスプレイの更新
osfext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
デバッガのリソース
configure
x_dev_environment
v4.1
Manuals
IFProlog
デバッガ活動履歴
debugger
x_dev_environment
v4.1
Manuals
IFProlog
デバッギング
user_guide
v4.1
Manuals
IFProlog
デフォルトのトランスレーション
drawW
athena
advanced_feature
v4.1
Manuals
IFProlog
デフォルトのトランスレーション
drawW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
デフォルト・トランスレーション
hyperW
athena
advanced_feature
v4.1
Manuals
IFProlog
デフォルト変換
hyperW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
デモプログラム"test.pro"のリスト
gks
advanced_feature
v4.1
Manuals
IFProlog
データの削除
prepare
user_guide
v4.1
Manuals
IFProlog
データの型変換(conversion)
reference
v4.1
Manuals
IFProlog
データの読み込み
prepare
user_guide
v4.1
Manuals
IFProlog
データベース(database)
reference
v4.1
Manuals
IFProlog
データベースのリスティング
prepare
user_guide
v4.1
Manuals
IFProlog
データ型
intro
sql
advanced_feature
v4.1
Manuals
IFProlog
データ変換
intro
sql
advanced_feature
v4.1
Manuals
IFProlog
データ検索
intro
sql
advanced_feature
v4.1
Manuals
IFProlog
トグルwidget(Toggle Widget)
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
トグルボタンGadget (ToggleButton Gadget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
トグルボタンWidget (ToggleButton Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
トップレベル シェル クラス(TopLevel Shell Class)
opaqw
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
トップレベル・シェル・クラス (TopLevel Shell Class)
opaqW
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
トランジェント シェル クラス(Transient Shell Class)
opaqw
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
トランジェント・シェル・クラス (Transient Shell Class)
opaqW
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
トレイル(trail)
reference
v4.1
Manuals
IFProlog
トレース
debug
user_guide
v4.1
Manuals
IFProlog
ドローWidget (Draw Widget)
athena
advanced_feature
v4.1
Manuals
IFProlog
ドローWidget (Draw Widget)
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ドローWidget (Draw Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ドローwidgetクラスによって追加されるリソース
drawW
athena
advanced_feature
v4.1
Manuals
IFProlog
ドローwidgetクラスによって追加されるリソース
drawW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ドローイングエリアWidget (DrawingArea Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ドローンボタンWidget (DrawnButton Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ニモニック
accelerators
x_dev_environment
v4.1
Manuals
IFProlog
ノード情報の表現
features
hyperW
athena
advanced_feature
v4.1
Manuals
IFProlog
ノード情報の表現
features
hyperW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
バインド変数
intro
sql
advanced_feature
v4.1
Manuals
IFProlog
バックトラッキング
command
x_dev_environment
v4.1
Manuals
IFProlog
バックトラックしないProlog述語をC言語で書く
c_interface
advanced_feature
v4.1
Manuals
IFProlog
バックトラックしないProlog述語をFORTRANで書く
intro
fortran
advanced_feature
v4.1
Manuals
IFProlog
バックトラックするProlog述語をC言語で書く
c_interface
advanced_feature
v4.1
Manuals
IFProlog
バックトラックをし、Epilogを持つプログラム例
cpredbw
c_interface
advanced_feature
v4.1
Manuals
IFProlog
バックトラックをするプログラム例
cpredbw
c_interface
advanced_feature
v4.1
Manuals
IFProlog
バージョン3から4への移行
reference
v4.1
Manuals
IFProlog
バージョン3との互換モード
rel4.0
introduction
v4.1
Manuals
IFProlog
ヒストリ機能
command
x_dev_environment
v4.1
Manuals
IFProlog
ビットマップ・エクステントの問い合わせ
extfunc
drawW
athena
advanced_feature
v4.1
Manuals
IFProlog
ビットマップ・エクステントの問い合わせ
extfunc
drawW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ビュ−ポ−トWidget (Viewport Widget)
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
ビュレティンボードWidget (BulletinBoard Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ファイル
adwidget
xext
athena
advanced_feature
v4.1
Manuals
IFProlog
ファイル
adwidget
motifext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ファイルのリコンサルト
removing
prepare
user_guide
v4.1
Manuals
IFProlog
ファイルの入/出力
inout
prepare
user_guide
v4.1
Manuals
IFProlog
ファイル選択ボックスWidget (FileSelectionBox Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
フォ−ムWidget (Form Widget)
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
フォームWidget (Form Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
フレームWidget (Frame Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ブレークポイント
debugger
x_dev_environment
v4.1
Manuals
IFProlog
プッシュボタンGadget (PushButton Gadget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
プッシュボタンWidget (PushButton Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
プリプロセッサによる展開前と後のreadatom.cのリスト
exampbe
cpredbw
c_interface
advanced_feature
v4.1
Manuals
IFProlog
プリミティブWidget (Primitive Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
プリミティブの削除
extfunc
drawW
athena
advanced_feature
v4.1
Manuals
IFProlog
プリミティブの削除
extfunc
drawW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ヘッド・ウィンドウとサブゴール・ウインドウ
debugger
x_dev_environment
v4.1
Manuals
IFProlog
ベンチマークテストの実行
general_unix
installation
v4.1
Manuals
IFProlog
ペインWidget (Paned Widget)
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
ボックスWidget (Box Widget)
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
ポインタの位置の問い合わせ
extfunc
drawW
athena
advanced_feature
v4.1
Manuals
IFProlog
ポインタの位置の問い合わせ
extfunc
drawW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ポップアップWidgets (Popup Widgets)
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
ポップアップWidgets (Popup Widgets)
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ポート停止トグル
debugger
x_dev_environment
v4.1
Manuals
IFProlog
マクロ定義と関数のライブラリ−
cpredbw
c_interface
advanced_feature
v4.1
Manuals
IFProlog
マネージャWidget (Manager Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
メインウインドウWidget (MainWindow Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
メッセージボックスWidget (MessageBox Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
メッセージ・ウィンドウ
command
x_dev_environment
v4.1
Manuals
IFProlog
メニューシェルWidget (MenuShell Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
メニューボタンwidget(menu button widget)
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
モジュール
rel4.0
introduction
v4.1
Manuals
IFProlog
モジュールのコンパイルとコンサルト
module
user_guide
v4.1
Manuals
IFProlog
モジュールの使用
user_guide
v4.1
Manuals
IFProlog
モジュールの定義
module
user_guide
v4.1
Manuals
IFProlog
モジュールの概念
module
user_guide
v4.1
Manuals
IFProlog
モジュールヘッド
define
module
user_guide
v4.1
Manuals
IFProlog
モジュールボディ
define
module
user_guide
v4.1
Manuals
IFProlog
ユーザの入/出力
inout
prepare
user_guide
v4.1
Manuals
IFProlog
ユーザーズ・ガイド
v4.1
Manuals
IFProlog
ライブラリマニュアル
advanced_feature
v4.1
Manuals
IFProlog
ライブラリー関数と型定義
hostli
advanced_feature
v4.1
Manuals
IFProlog
ライブラリ関数の概要
libfunc
c_interface
advanced_feature
v4.1
Manuals
IFProlog
ライブラリ関数を使ったプログラム例
cpredw
c_interface
advanced_feature
v4.1
Manuals
IFProlog
ラバ−モ−ド
extfunc
drawW
athena
advanced_feature
v4.1
Manuals
IFProlog
ラバ−モ−ド
extfunc
drawW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ラベルGadget (Label Gadget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ラベルWidget (Label Widget)
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
ラベルWidget (Label Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
リスト(lists)
reference
v4.1
Manuals
IFProlog
リストWidget (List Widget)
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
リストWidget (List Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
リストの先頭(head of list)
reference
v4.1
Manuals
IFProlog
リストの取り扱い
libfun
intro
fortran
advanced_feature
v4.1
Manuals
IFProlog
リストの扱い
summ
libfunc
c_interface
advanced_feature
v4.1
Manuals
IFProlog
リスト・ウィンドウ
command
x_dev_environment
v4.1
Manuals
IFProlog
リスト操作
library
advanced_feature
v4.1
Manuals
IFProlog
リターン・コード
intro
sql
advanced_feature
v4.1
Manuals
IFProlog
リンクの仕様
features
hyperW
athena
advanced_feature
v4.1
Manuals
IFProlog
リンクの仕様
features
hyperW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
リンクの表現
features
hyperW
athena
advanced_feature
v4.1
Manuals
IFProlog
リンクの表現
features
hyperW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
ループ(loops)
reference
v4.1
Manuals
IFProlog
レファレンス
user_guide
v4.1
Manuals
IFProlog
一覧表
summ
libfunc
c_interface
advanced_feature
v4.1
Manuals
IFProlog
下位のPrologプロセスとの相互対話
cmd
emacs
advanced_feature
v4.1
Manuals
IFProlog
事実(fact)
reference
v4.1
Manuals
IFProlog
付録
athena
advanced_feature
v4.1
Manuals
IFProlog
付録
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
付録 A Motifのテキストウィジェットバインディング
x_dev_environment
v4.1
Manuals
IFProlog
付録 A - cpred.hのリスト
c_interface
advanced_feature
v4.1
Manuals
IFProlog
付録 B Athenaテキストウィジェットのバインディング
x_dev_environment
v4.1
Manuals
IFProlog
付録 B - cpro.hのリスト
c_interface
advanced_feature
v4.1
Manuals
IFProlog
付録1 Toolkit述語一覧 (機能別)
appendix
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
付録2 IF/Prolog Athena述語
xindex
athena
advanced_feature
v4.1
Manuals
IFProlog
付録2 拡張述語一覧 (機能別)
appendix
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
付録3 Widget述語一覧
appendix
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
付録4 Toolkit述語一覧 (アルファベット順)
appendix
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
付録4 IF/Prologのwidget述語一覧(アルファベット順)
xindex
athena
advanced_feature
v4.1
Manuals
IFProlog
付録5 イベント構造体のコンポーネント一覧
xindex
athena
advanced_feature
v4.1
Manuals
IFProlog
付録5 拡張述語一覧 (アルファベット順)
appendix
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
付録6 Widget述語一覧 (アルファベット順)
appendix
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
付録7 コールバック構造体のコンポーネント一覧
appendix
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
付録8 イベント構造体のコンポーネント一覧
appendix
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
付録9 ユーザインタフェース言語へのアクセス
appendix
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
低レベルのインタフェイス
c_interface
advanced_feature
v4.1
Manuals
IFProlog
作業を容易するIF/Prologライブラリ関数
intro
fortran
advanced_feature
v4.1
Manuals
IFProlog
例
c_gen
c_interface
advanced_feature
v4.1
Manuals
IFProlog
例外
hyperW
athena
advanced_feature
v4.1
Manuals
IFProlog
例外
hyperW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
例外処理
textw
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
例外処理
drawW
athena
advanced_feature
v4.1
Manuals
IFProlog
例外処理
drawW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
例外処理(exceptions)
reference
v4.1
Manuals
IFProlog
例題: ベンチマークテストの実行
vax_vms
installation
v4.1
Manuals
IFProlog
便利なwidget生成述語
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
信号処理
rel4.0
introduction
v4.1
Manuals
IFProlog
倍精度実数の扱い
summ
libfunc
c_interface
advanced_feature
v4.1
Manuals
IFProlog
倍精度浮動小数の取り扱い
libfun
intro
fortran
advanced_feature
v4.1
Manuals
IFProlog
値の比較
reference
v4.1
Manuals
IFProlog
入力/出力
prepare
user_guide
v4.1
Manuals
IFProlog
入力ウィンドウ
command
x_dev_environment
v4.1
Manuals
IFProlog
入力ストリーム(input stream)
reference
v4.1
Manuals
IFProlog
全体のリソース
configure
x_dev_environment
v4.1
Manuals
IFProlog
出力ストリーム(output stream)
reference
v4.1
Manuals
IFProlog
分解能に対する独立性
osfext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
初めてのPrologのセッションのための準備
user_guide
v4.1
Manuals
IFProlog
制御の流れ
prepare
user_guide
v4.1
Manuals
IFProlog
制御プログラム
features
hyperW
athena
advanced_feature
v4.1
Manuals
IFProlog
制御プログラム
features
hyperW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
単一化関数
summ
libfunc
c_interface
advanced_feature
v4.1
Manuals
IFProlog
双対SQLコマンド
intro
sql
advanced_feature
v4.1
Manuals
IFProlog
基本的なToolkit概念の概要
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
基本的なToolkit概念の概要
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
変数(variables)
reference
v4.1
Manuals
IFProlog
変数の取り扱い
libfun
intro
fortran
advanced_feature
v4.1
Manuals
IFProlog
変数の扱い
summ
libfunc
c_interface
advanced_feature
v4.1
Manuals
IFProlog
外部関数
drawW
athena
advanced_feature
v4.1
Manuals
IFProlog
外部関数
drawW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
外部関数の述語としての実現
adwidget
xext
athena
advanced_feature
v4.1
Manuals
IFProlog
外部関数の述語としての実現
incneww
adwidget
motifext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
外部関数(概要)
drawW
athena
advanced_feature
v4.1
Manuals
IFProlog
外部関数(概要)
drawW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
定義済みのCストリーム・ルーチン
strint
c_interface
advanced_feature
v4.1
Manuals
IFProlog
実行コントロール
debugger
x_dev_environment
v4.1
Manuals
IFProlog
対話のリコンサルト
removing
prepare
user_guide
v4.1
Manuals
IFProlog
対話的プログラミング
reading
prepare
user_guide
v4.1
Manuals
IFProlog
引数の役割説明表
intro
reference
v4.1
Manuals
IFProlog
引数リストの変換
impextf
adwidget
xext
athena
advanced_feature
v4.1
Manuals
IFProlog
引数リストの変換
impextf
incneww
adwidget
motifext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
手続き(procedure)
reference
v4.1
Manuals
IFProlog
指令(directives)
reference
v4.1
Manuals
IFProlog
描画プリミティブ
extfunc
drawW
athena
advanced_feature
v4.1
Manuals
IFProlog
描画プリミティブ
extfunc
drawW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
整数の取り扱い
libfun
intro
fortran
advanced_feature
v4.1
Manuals
IFProlog
整数の扱い
summ
libfunc
c_interface
advanced_feature
v4.1
Manuals
IFProlog
文字セット, char_code
reference
v4.1
Manuals
IFProlog
文字列(strings)
reference
v4.1
Manuals
IFProlog
文字列変換の使用
convert
files
adwidget
xext
athena
advanced_feature
v4.1
Manuals
IFProlog
文字列変換の使用
convert
incneww
adwidget
motifext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
文法規則
rel4.0
introduction
v4.1
Manuals
IFProlog
文法規則(grammar rules)
reference
v4.1
Manuals
IFProlog
新しいIF/Prologコンパイラ
rel4.0
introduction
v4.1
Manuals
IFProlog
新しいwidgetを追加するための作業
adwidget
motifext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
新しいwidgetクラスの追加
files
adwidget
xext
athena
advanced_feature
v4.1
Manuals
IFProlog
新しいwidgetクラスの追加
incneww
adwidget
motifext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
新しいコールバックの理由の登録
incneww
adwidget
motifext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
新しいコールバック構造体のコンポーネントの登録
incneww
adwidget
motifext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
新しいストリーム・クラスの定義
strint
c_interface
advanced_feature
v4.1
Manuals
IFProlog
新しいリソ−スの登録
files
adwidget
xext
athena
advanced_feature
v4.1
Manuals
IFProlog
新しいリソースの登録
incneww
adwidget
motifext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
新しい述語
rel4.0
introduction
v4.1
Manuals
IFProlog
日本語の使用
v5.1
Manuals
IFProlog
日本語の使用
v5.2
Manuals
IFProlog
書式付出力述語
library
advanced_feature
v4.1
Manuals
IFProlog
未定義の述語(undefined_predicate)
reference
v4.1
Manuals
IFProlog
概要:新しいwidgetの追加方法
adwidget
xext
athena
advanced_feature
v4.1
Manuals
IFProlog
概要:新しいwidgetの追加方法
adwidget
motifext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
構文
rel4.0
introduction
v4.1
Manuals
IFProlog
構文エラー
prepare
user_guide
v4.1
Manuals
IFProlog
構文チェッカー(syntax checker)
reference
v4.1
Manuals
IFProlog
様々なデータ構造
library
advanced_feature
v4.1
Manuals
IFProlog
特徴
drawW
athena
advanced_feature
v4.1
Manuals
IFProlog
特徴
hyperW
athena
advanced_feature
v4.1
Manuals
IFProlog
特徴
drawW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
特徴
hyperW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
特殊なWidgets:Load Logo Mailbox Clock
athenause
athena
advanced_feature
v4.1
Manuals
IFProlog
特殊な入力述語
library
advanced_feature
v4.1
Manuals
IFProlog
理論背景 : ボックスモデルとコル−チン
cpredbw
c_interface
advanced_feature
v4.1
Manuals
IFProlog
目的
adwidget
xext
athena
advanced_feature
v4.1
Manuals
IFProlog
目的
adwidget
motifext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
算術述語
library
advanced_feature
v4.1
Manuals
IFProlog
節のコンサルト
reading
prepare
user_guide
v4.1
Manuals
IFProlog
節のヘッド(head of clause)
reference
v4.1
Manuals
IFProlog
節の削除
removing
prepare
user_guide
v4.1
Manuals
IFProlog
終了(end)
reference
v4.1
Manuals
IFProlog
編集(edit)
reference
v4.1
Manuals
IFProlog
編集したPrologのファイルをコンサルトする
reading
prepare
user_guide
v4.1
Manuals
IFProlog
行カラムWidget (RowColumn Widget)
motifW
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
表示コントロール
debugger
x_dev_environment
v4.1
Manuals
IFProlog
複合文字列とフォント・リスト
osfext
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
複合項(structures)
reference
v4.1
Manuals
IFProlog
複合項の作成
summ
libfunc
c_interface
advanced_feature
v4.1
Manuals
IFProlog
複合項の扱い
summ
libfunc
c_interface
advanced_feature
v4.1
Manuals
IFProlog
要求と開始
x_dev_environment
v4.1
Manuals
IFProlog
計算式(arithmetic)
reference
v4.1
Manuals
IFProlog
計算式の構文(syntax of arithmetic expression)
reference
v4.1
Manuals
IFProlog
質問と命令
prepare
user_guide
v4.1
Manuals
IFProlog
質問の入力
command
x_dev_environment
v4.1
Manuals
IFProlog
質問述語
xtprog
athena
advanced_feature
v4.1
Manuals
IFProlog
質問述語 (Query Predicates)
motifprog
osf_motif
advanced_feature
v4.1
Manuals
IFProlog
述語のコンパイル方法
compile
user_guide
v4.1
Manuals
IFProlog
述語の仕様
intro
reference
v4.1
Manuals
IFProlog
述語セレクション・ウィンドウ
command
x_dev_environment
v4.1
Manuals
IFProlog
述語定義(タグ)の検索
cmd
emacs
advanced_feature
v4.1
Manuals
IFProlog
連言(conjunction)
reference
v4.1
Manuals
IFProlog
選言(disjunction)
reference
v4.1
Manuals
IFProlog
配列の実装法
library
advanced_feature
v4.1
Manuals
IFProlog
開発にさらに便利なIF/Prologライブラリ関数
c_interface
advanced_feature
v4.1
Manuals
IFProlog
集合とバッグ
library
advanced_feature
v4.1
Manuals
IFProlog
項(term)
reference
v4.1
Manuals
IFProlog
項の構文 (Syntax of terms)
reference
v4.1
Manuals
IFProlog
項の比較
reference
v4.1
Manuals
IFProlog
高度な項の操作
library
advanced_feature
v4.1
Manuals
IFProlog
no further details at this level
|
|
|
|
www.ifcomputer.com |
 |
 |
|
|
|
|
|
|
|
|
|
|
|