【文章內容簡介】 hedule, or with shifts being missed because they could not consult the schedule from home, our librarians weled the addition of an online reference desk schedule in Hobbes (see Figure 4). Four weeks39。 worth of shifts are displayed at one time, and changes can be made simply by clicking on a librarian39。s name in a particular time slot.(n1) Library Statistics Tab (Stats) Before Hobbes, librarians kept track of their own statistics in individual Microsoft Excel files, a program that many knew well enough to enter data into, but not well enough to creatively display or manipulate that data. Various statistical tables are included in the Stats tab, as is a utility to create reports based on date and other criteria. Library Meeting Minutes (Minutes) The Minutes tab displays folders that contain minutes from the various groups of library staff that hold regular meetings. After being pleted in Microsoft Word, the secretary logs into Hobbes and uploads the minutes into the appropriate folder for future reference. Also, an with the attached minutes is distributed to staff members who have this preference selected in their staff table record. Library Resources Tab (Lib Resources) While the librarians are able to share documents on a mon drive on the campus work, it became apparent that some information could be better shared by being displayed within Hobbes. The Lib Resources tab contains a wide variety of links to resources such as a fund status report (used by liaisons to track departmental book budgets)。 employee policies。 evaluation documents。 and library labels, signs, and graphics. Library Hours Tab (Lib Hours) Hekman Library39。s hours are not easy to describe with text, so they are displayed on the HDL in a 2month calendar format. After being incorporated into Hobbes, the tedious process of updating this Web page was replaced by a table that utilizes an existing calendar. Library News Tab (LibNews) After attending a session on RSS(n2) at the 2020 Computers in Libraries conference, it didn39。t take me long to wonder how we could incorporate this into Hobbes, and it took even less time for Jed to actually implement this feature. The LibNews tab displays information from RSS feeds, with the name of the feed on the left and the contents of the feed displayed within a box on the right. Database Maintenance (DB Projects) This tab contains links to the administrative modules of five locally created databases.(n3) As with ejournals, records can be added, edited, and deleted, and bulk amounts of data can be imported using delimited files. Bookmarks (Bookmarks on bar beneath the tabs) Since Hobbes displays information based on a librarian39。s login, we were able to add some tools that provided unique data for a given librarian. For example, each person is able to upload his or her browser bookmarks from the office puter to use at the reference desk or from home. Librarians are also able to upload liaison newsletters into Hobbes, which in turn are displayed on their HDL staff page. THE LOGIC PROGRAMMING OF Hobbes Logic programming, which is based on the firstorder predicate logic, has been widely used in AI applications, It is a programming style of attractive features. As logic is regarded as a formalism unifying AI, data management and programming, it is the key feature of many new generation projects, especially the FGCS. The principal idea behind logic programming is that an algorithm prises two parts: a logical ponent and a control ponent. The users need only to specify in his program what to do (. , the logical ponent ), whereas it is the responsibility of the system to exercise the control on how to do it. One of the major feature of logic programs is its nondeterminisms. Compared with normal programs, logic programs are nondeterministic in two senses: (1)When several clauses match a given procedure call, the search strategy by means of which the alternative clauses are tride is not determined. (2)When several calls need to be executed in a single goal statement, the order of execution is not determined. The nondeterminisms of logic programs make them suitable for AI applications (., problem solving ) and potentially rich in parallelism. There is continuous effort in improving the implementation efficiency of Prolog, which is a restriction of logic programming. However, the past effort mainly focuses on interpreterbased software implementation. It is only in recent years that Prolog oriented puter architectures are developed. The PSIII in Japan and the PLM at Berkeley are two famous sequential Prolog machines, which are based on the WAM, a high performance pilerbased execution model for Prolog. It is estimated that the highest possible performance of a sequential Prolog machine constructed. In order to meet the demand of gigantic inference speed in AI applications, the inherent parallelisms in logic programs should be exploited. There are many sources of parallelism in logic programs, of which the major ones are the ANDparallelism, the ORparallelism and the stream parallelism. Substantial research has been carried out on parallel putation models utilizing these par