| 
									
										
										
										
											2004-06-06 22:46:45 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | :- object(system, | 
					
						
							|  |  |  | 	implements(systemp)). | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	:- info([ | 
					
						
							|  |  |  | 		version is 1.0, | 
					
						
							|  |  |  | 		author is 'Paulo Moura', | 
					
						
							|  |  |  | 		date is 2004/6/5, | 
					
						
							|  |  |  | 		comment is 'Operating system interface for B-Prolog.']). | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	make_directory(Directory) :- | 
					
						
							|  |  |  | 		{atom_concat('mkdir ', Directory, Command), system(Command)}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	delete_directory(Directory) :- | 
					
						
							|  |  |  | 		{atom_concat('rmdir ', Directory, Command), system(Command)}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	change_directory(Directory) :- | 
					
						
							|  |  |  | 		{chdir(Directory)}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	working_directory(Directory) :- | 
					
						
							| 
									
										
										
										
											2004-11-29 20:36:31 +00:00
										 |  |  | 		{system(pwd, Directory)}. | 
					
						
							| 
									
										
										
										
											2004-06-06 22:46:45 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	directory_exists(Directory) :- | 
					
						
							|  |  |  | 		{fail}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	directory_files(Directory, Files) :- | 
					
						
							|  |  |  | 		{fail}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	absolute_file_name(File) :- | 
					
						
							|  |  |  | 		{fail}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	absolute_file_name(File, Full) :- | 
					
						
							|  |  |  | 		{fail}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	file_exists(File) :- | 
					
						
							|  |  |  | 		{exists(File)}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	file_modification_time(File, Time) :- | 
					
						
							|  |  |  | 		{fail}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	file_size(File, Size) :- | 
					
						
							|  |  |  | 		{fail}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	file_type(File, Type) :- | 
					
						
							|  |  |  | 		{fail}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	file_permission(File, Permission) :- | 
					
						
							|  |  |  | 		{fail}. | 
					
						
							|  |  |  |   | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	delete_file(File) :- | 
					
						
							|  |  |  | 		{atom_concat('rm ', File, Command), system(Command)}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	rename_file(Old, New) :- | 
					
						
							|  |  |  | 		{atom_concat('mv ', Old, Temp), atom_concat(' ', New, Command), system(Command)}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	symbolic_link(File, Target) :- | 
					
						
							|  |  |  | 		{fail}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	environment_variable(Variable, Value) :- | 
					
						
							|  |  |  | 		{environ(Variable, Value)}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	set_environment_variable(Variable, Value) :- | 
					
						
							|  |  |  | 		{fail}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	date_time(Year, Month, Day, Hours, Mins, Secs, 0) :- | 
					
						
							|  |  |  | 		{date(Year, Month, Day), time(Hours, Mins, Secs)}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	convert_time(Time, Year, Month, Day, Hours, Mins, Secs, Milisecs) :- | 
					
						
							|  |  |  | 		{fail}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	cpu_time(Time) :- | 
					
						
							|  |  |  | 		{cputime(Miliseconds), Time is Miliseconds/1000}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	host_name(Name) :- | 
					
						
							|  |  |  | 		{fail}. | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | :- end_object. |