qinwei.pro

这是用prolog语言开发的系统

/*****************************************************************************

		Copyright (c) My Company

 Project:  QINWEI
 FileName: QINWEI.PRO
 Purpose: No description
 Written by: Visual Prolog
 Comments:
******************************************************************************/

include "qinwei.inc"
include "qinwei.con"
include "hlptopic.con"

%BEGIN_WIN Task Window
/***************************************************************************
		Event handling for Task Window
***************************************************************************/

predicates

  task_win_eh : EHANDLER

constants

%BEGIN Task Window, CreateParms, 22:55:11-10.1.2008, Code automatically updated!
  task_win_Flags = [wsf_SizeBorder,wsf_TitleBar,wsf_Close,wsf_Maximize,wsf_Minimize,wsf_ClipSiblings]
  task_win_Menu  = res_menu(idr_task_menu)
  task_win_Title = "qinwei"
  task_win_Help  = idh_contents
%END Task Window, CreateParms

clauses

%BEGIN Task Window, e_Create
  task_win_eh(_Win,e_Create(_),0):-!,
%BEGIN Task Window, InitControls, 22:55:11-10.1.2008, Code automatically updated!
%END Task Window, InitControls
%BEGIN Task Window, ToolbarCreate, 22:55:11-10.1.2008, Code automatically updated!
	tb_project_toolbar_Create(_Win),
	tb_help_line_Create(_Win),
%END Task Window, ToolbarCreate
ifdef use_message
	msg_Create(100),
enddef
	!.
%END Task Window, e_Create

%MARK Task Window, new events

%BEGIN Task Window, id_help_contents
  task_win_eh(_Win,e_Menu(id_help_contents,_ShiftCtlAlt),0):-!,
  	vpi_ShowHelp("qinwei.hlp"),
	!.
%END Task Window, id_help_contents

%BEGIN Task Window, id_help_about
  task_win_eh(Win,e_Menu(id_help_about,_ShiftCtlAlt),0):-!,
	dlg_about_dialog_Create(Win),
	!.
%END Task Window, id_help_about
%BEGIN Task Window, id_kkk
  task_win_eh(Win,e_Menu(idd_kkk,_ShiftCtlAlt),0):-!,
	dlg_kkk_Create(Win),
	!.
%END Task Window, id_kkk

%BEGIN Task Window, id_file_exit
  task_win_eh(Win,e_Menu(id_file_exit,_ShiftCtlAlt),0):-!,
  	win_Destroy(Win),
	!.
%END Task Window, id_file_exit

%BEGIN Task Window, e_Size
  task_win_eh(_Win,e_Size(_Width,_Height),0):-!,
ifdef use_tbar
	toolbar_Resize(_Win),
enddef
ifdef use_message
	msg_Resize(_Win),
enddef
	!.
%END Task Window, e_Size

%END_WIN Task Window

/***************************************************************************
		Invoking on-line Help
***************************************************************************/

  project_ShowHelpContext(HelpTopic):-
  	vpi_ShowHelpContext("qinwei.hlp",HelpTopic).

/***************************************************************************
			Main Goal
***************************************************************************/
predicates 
nondeterm person(symbol)
nondeterm fruit(symbol) 
nondeterm likes(symbol,symbol) 
nondeterm for_sale(symbol) 
nondeterm can_buy(symbol,symbol)
 clauses   
 person(zhangshan). 
 person(lishi). 
 person(wangwu).   
 fruit(pear).  
 fruit(banana).  
 fruit(apple).  
 likes(zhangshan, pear).  
 likes(lishi, banana). 
 likes(wangwu, apple).  
 for_sale(pear).  
 for_sale(banana). 
 for_sale(apple).   
 can_buy(X,Y):-person(X),fruit(Y),likes(X,Y),for_sale(Y).

goal

ifdef use_mdi
  vpi_SetAttrVal(attr_win_mdi,b_true),
enddef
ifdef ws_win
  ifdef use_3dctrl
    vpi_SetAttrVal(attr_win_3dcontrols,b_true),
  enddef
enddef  
  vpi_Init(task_win_Flags,task_win_eh,task_win_Menu,"qinwei",task_win_Title).

%BEGIN_TLB Project toolbar, 22:55:11-10.1.2008, Code automatically updated!
/**************************************************************************
	Creation of toolbar: Project toolbar
**************************************************************************/

clauses

  tb_project_toolbar_Create(_Parent):-
ifdef use_tbar
	toolbar_create(tb_top,0xC0C0C0,_Parent,
		[tb_ctrl(id_file_new,pushb,idb_new_up,idb_new_dn,idb_new_up,"New;New file",1,1),
		 tb_ctrl(id_file_open,pushb,idb_open_up,idb_open_dn,idb_open_up,"Open;Open file",1,1),
		 tb_ctrl(id_file_save,pushb,idb_save_up,idb_save_dn,idb_save_up,"Save;File save",1,1),
		 separator,
		 tb_ctrl(id_edit_undo,pushb,idb_undo_up,idb_undo_dn,idb_undo_up,"Undo;Undo",1,1),
		 tb_ctrl(id_edit_redo,pushb,idb_redo_up,idb_redo_dn,idb_redo_up,"Redo;Redo",1,1),
		 separator,
		 tb_ctrl(id_edit_cut,pushb,idb_cut_up,idb_cut_dn,idb_cut_up,"Cut;Cut to clipboard",1,1),
		 tb_ctrl(id_edit_copy,pushb,idb_copy_up,idb_copy_dn,idb_copy_up,"Copy;Copy to clipboard",1,1),
		 tb_ctrl(id_edit_paste,pushb,idb_paste_up,idb_paste_dn,idb_paste_up,"Paste;Paste from clipboard",1,1),
		 separator,
		 separator,
		 tb_ctrl(id_help_contents,pushb,idb_help_up,idb_help_down,idb_help_up,"Help;Help",1,1)]),
enddef
	true.
%END_TLB Project toolbar

%BEGIN_TLB Help line, 22:55:11-10.1.2008, Code automatically updated!
/**************************************************************************
	Creation of toolbar: Help line
**************************************************************************/

clauses

  tb_help_line_Create(_Parent):-
ifdef use_tbar
	toolbar_create(tb_bottom,0xC0C0C0,_Parent,
		[tb_text(idt_help_line,tb_context,452,0,4,10,0x0,"")]),
enddef
	true.
%END_TLB Help line

%BEGIN_DLG About dialog
/**************************************************************************
	Creation and event handling for dialog: About dialog
**************************************************************************/

constants

%BEGIN About dialog, CreateParms, 22:55:11-10.1.2008, Code automatically updated!
  dlg_about_dialog_ResID = idd_dlg_about
  dlg_about_dialog_DlgType = wd_Modal
  dlg_about_dialog_Help = idh_contents
%END About dialog, CreateParms

predicates

  dlg_about_dialog_eh : EHANDLER

clauses

  dlg_about_dialog_Create(Parent):-
	win_CreateResDialog(Parent,dlg_about_dialog_DlgType,dlg_about_dialog_ResID,dlg_about_dialog_eh,0).

%BEGIN About dialog, idc_ok _CtlInfo
  dlg_about_dialog_eh(_Win,e_Control(idc_ok,_CtrlType,_CtrlWin,_CtrlInfo),0):-!,
	win_Destroy(_Win),
	!.
%END About dialog, idc_ok _CtlInfo
%MARK About dialog, new events

  dlg_about_dialog_eh(_,_,_):-!,fail.

%END_DLG About dialog

%BEGIN_DLG kkk
/**************************************************************************
	Creation and event handling for dialog: kkk
**************************************************************************/

constants

%BEGIN kkk, CreateParms, 22:58:30-10.1.2008, Code automatically updated!
  dlg_kkk_ResID = idd_kkk
  dlg_kkk_DlgType = wd_Modeless
  dlg_kkk_Help = idh_contents
%END kkk, CreateParms

predicates

  dlg_kkk_eh : EHANDLER
   Nondeterm
  dlg_kkk_update(DIALOG_VAL_LIST)

clauses

  dlg_kkk_Create(Parent):-

%MARK kkk, new variables

	dialog_CreateModeless(Parent,dlg_kkk_ResID,"",
  		[
%BEGIN kkk, ControlList, 22:58:30-10.1.2008, Code automatically updated!
		df(idc_edit,editstr("",[]),nopr),
		df(idc_edit1,editstr("",[]),nopr),
		df(idc_edit2,editstr("",[]),nopr)
%END kkk, ControlList
		],
		dlg_kkk_eh,0).

  dlg_kkk_update(_VALLIST):-
%BEGIN kkk, Update controls, 22:58:30-10.1.2008, Code automatically updated!
	_IDC_EDIT_VALUE = dialog_VLGetstr(idc_edit,_VALLIST),
	_IDC_EDIT_VALUE =(SET),
	likes("zhangshan",SET),
write("zhangshan喜欢的水果是",SET,"\n");
	_IDC_EDIT2_VALUE = dialog_VLGetstr(idc_edit1,_VALLIST),
	_IDC_EDIT2_VALUE =(SET),
	likes("lishi",SET),
write("lishi喜欢的水果是",SET,"\n");
	_IDC_EDIT3_VALUE = dialog_VLGetstr(idc_edit2,_VALLIST),
	_IDC_EDIT3_VALUE =(SET),
	likes("wangwu",SET),
write("wangwu喜欢的水果是",SET,"\n");

%END kkk, Update controls
	true.

%BEGIN kkk, idc_ok _CtlInfo
  dlg_kkk_eh(_Win,e_Control(idc_ok,_CtrlType,_CtrlWin,_CtrlInfo),0):-!,
	VALLIST = dialog_GetValues(_Win),
	dlg_kkk_update(VALLIST),
	!,fail.
%END kkk, idc_ok _CtlInfo
%MARK kkk, new events

%BEGIN kkk, idc_edit _CtlInfo
  dlg_kkk_eh(_Win,e_Control(idc_edit,_CtrlType,_CtrlWin,_CtlInfo),0):-!,
	!.
%END kkk, idc_edit _CtlInfo

  dlg_kkk_eh(_,_,_):-!,fail.

%END_DLG kkk